kozima's lambda-calculi [18 articles] Export

Recent papers added to kozima's library classified by the tag lambda-calculi. You can also see everyone's lambda-calculi.

Hide details

	Modal logic as a basis for distributed computation [My Copy] (October 2003) by Jonathan Moody posted to distributed-computation lambda-calculi modal-logic type-system by kozima on 2009-05-28 08:00:06 as
	A Symmetric Modal Lambda Calculus for Distributed Computing [My Copy] Logic in Computer Science, Symposium on In Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on, Vol. 0 (2004), pp. 286-295. by V. Tom Murphy, Karl Crary, Robert Harper, Frank Pfenning posted to distributed-computation lambda-calculi modal-logic type-system by kozima on 2009-04-14 01:52:28 as along with 2 people and 1 group pirapira robertjohnsimmons ConcertRG
	Computational Types from a Logical Perspective [My Copy] Journal of Functional Programming, Vol. 8, No. 2. (1998), pp. 177-193. by P. N. Benton, Gavin Bierman, Valeria de Paiva posted to lambda-calculi modal-logic monads by kozima on 2009-03-30 03:55:10 as along with 2 people vcvpaiva jsala
	Computational lambda-calculus and monads [My Copy] Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23. by E. Moggi posted to category lambda-calculi monads by kozima on 2009-03-29 07:39:30 as along with 10 people and 1 group pedagand JeffreyPalmer voigt msakai bonotake dmitri83 aleks EdwardKmett Benja mcclurmc Compilers
	Linear logic, monads and the lambda calculus [My Copy] In Proceedings of the 11th IEEE Symposium on Logic in Computer Science, Brunswick, New Jersey (jul 1996) by N. Benton, P. Wadler posted to lambda-calculi linear-logic monads by kozima on 2008-05-28 16:12:31 as along with 4 people and 1 group dherman tautologico glaubersp ds NU-PRL
	A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract) [My Copy] In CSL (1994), pp. 121-135. by P. N. Benton posted to category lambda-calculi linear-logic by kozima on 2008-05-28 16:08:43 as along with 1 person msakai
	Logical modalities and multi-stage programming [My Copy] (1999) by Z. Benaissa, E. Moggi, W. Taha, T. Sheard posted to category lambda-calculi modal-logic temporal-logic by kozima on 2008-05-21 07:03:04 as
	On the Geometry of Intuitionistic S4 Proofs [My Copy] Homology, Homotopy and Applications, Vol. 5, No. 2. (2003), pp. 137-209. by J. Goubault-Larrecq, E. Goubault edited by Gunnar Carlsson posted to lambda-calculi modal-logic by kozima on 2008-04-19 06:12:27 as along with 2 people jrw dmitri83
	A computational interpretation of modal proofs [My Copy] In Proof Theory of Modal Logics (1995) by S. Martini, A. Masini edited by H. Wansing posted to lambda-calculi modal-logic by kozima on 2008-04-04 15:03:49 as
	A modal type system for multi-level generating extensions with persistent code [My Copy] In PPDP '06: Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming (2006), pp. 201-212. by Yosihiro Yuse, Atsushi Igarashi posted to lambda-calculi modal-logic temporal-logic by kozima on 2007-11-30 06:58:28 as along with 1 person msakai
	Monad as modality [My Copy] Theoretical Computer Science, Vol. 175, No. 1. (1997), pp. 29-74. by Satoshi Kobayashi posted to category lambda-calculi modal-logic by kozima on 2007-11-17 07:50:40 as
	A Temporal-Logic Approach to Binding-Time Analysis [My Copy] In Logic in Computer Science (1996), pp. 184-195. by Rowan Davies posted to lambda-calculi modal-logic temporal-logic by kozima on 2007-11-11 04:28:45 as
	A Modal Analysis of Staged Computation [My Copy] In Conf.\ Record 23rd ACM {SIGPLAN}/{SIGACT} Symp.\ on Principles of Programming Languages, {POPL}'96, St.~Petersburg Beach, {FL}, {USA}, 21--24 Jan 1996 (1996), pp. 258-270. by Rowan Davies, Frank Pfenning posted to lambda-calculi modal-logic by kozima on 2007-11-11 04:27:59 as
	Girard translation and logical predicates [My Copy] Journal of Functional Programming, Vol. 10 (2000), pp. 77-89. by M. Hasegawa posted to lambda-calculi parametricity by kozima on 2007-01-07 07:10:14 as
	Definierbare Funktionen im Lambda-Kalkul mit Typen [My Copy] Archiv Logik Grundlagenforsch, Vol. 17 (1976), pp. 113-114. by H. Schwichtenberg posted to lambda-calculi by kozima on 2006-05-11 06:42:02 as
	Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi [My Copy] In Typed Lambda Calculus and Applications (1997), pp. 196-213. by Masahito Hasegawa posted to category lambda-calculi by kozima on 2006-03-23 02:01:54 as along with 1 person iga
	A core calculus of dependency [My Copy] In POPL '99. Proceedings of the 26th {ACM} {SIGPLAN-{SIGACT}} on Principles of programming languages, January 20--22, 1999, San Antonio, {TX} (1999), pp. 147-160. by Mart∈ Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke edited by M. Ac posted to dependency lambda-calculi modal-logic by kozima on 2006-02-12 09:09:07 as along with 5 people amorkan kontakte scavadini mrkoot tesissvc
	Translating Dependency into Parametricity [My Copy] by Stephen T. Steve posted to dependency lambda-calculi modal-logic parametricity by kozima on 2006-02-02 12:08:09 as

Note: You may cite this page as: http://www.citeulike.org/user/kozima/tag/lambda-calculi

modal-logic	59
lambda-calculi	18
category	16
temporal-logic	15
kripke-semantics	11
algebra	8
monads	4
philosophy	4
programming	4
substructural-logic	4
uni-log	4
coalgebra	3
distributed-computation	3
parametricity	3
poset	3
type-system	3
abstract-syntax	2
dependency	2
duality	2
linear-logic	2
many-valued-logic	2
quantification	2
complexity	1
game-semantics	1
hybrid-logic	1
survey	1

kozima's lambda-calculi [18 articles] Export

kozima's tags