Tag lambda_calculus [20 articles] Export

Recent papers classified by the tag lambda_calculus.

	Introduction to Lambda Calculus [My Copy] In Aspen\aes Workshop on Implementation of Functional Languages, G\"oteborg (1988) by H. P. Barendregt posted to lambda_calculus by GorgeousNicko on 2009-11-04 00:23:42 as along with 17 people and 2 groups statistic01 yoriyuki pedagand darinm draganigajic JeffreyPalmer yallop pintman glaubersp robertoalamino biehl namin mvermaat d23 SamB enochguimond MikolkaMikolka Lambda the Ultimate logics of knowledge
	Church’s Thesis and Functional Programming [My Copy] In Church's Thesis After 70 Years (28 February 2007), pp. 518-544. by David Turner edited by Adam Olszewski, Jan Wolenski, Robert Janusz posted to programming mathematical_logic lambda_calculus functional_programming by badi on 2009-09-27 05:09:49 as along with 2 people bunge mvermaat
	Lecture notes on the lambda calculus [My Copy] (22 Apr 2008) by Peter Selinger posted to lambda_calculus introduction 22 by robotact on 2009-08-16 02:44:42 as along with 1 person ansobol
	The chemical abstract machine [My Copy] In POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990), pp. 81-94. by Gerard Berry, Gerard Boudol posted to pi_calculus lambda_calculus concurrency 333 by robotact on 2009-08-13 18:59:00 as along with 8 people fierykylin scis0000001 mstone cogumbreiro erikgarrison bfraser pedagand mperalta
	Functions as Processes [My Copy] In ICALP '90: Proceedings of the 17th International Colloquium on Automata, Languages and Programming (1990), pp. 167-180. by Robin Milner posted to concurrency lambda_calculus pi_calculus by robotact on 2009-08-09 02:41:17 as
	Proof-nets and the Hilbert space [My Copy] In Proceedings of the workshop on Advances in linear logic (1995), pp. 307-328. by V. Danos, L. Regnier posted to hilbert_space lambda_calculus linear_logic by robotact on 2009-06-03 17:55:01 as
	Notions of computation and monads [My Copy] Inf. Comput., Vol. 93, No. 1. (July 1991), pp. 55-92. by Eugenio Moggi posted to category_theory formal_semantics lambda_calculus by robotact on 2009-06-01 16:45:23 as along with 4 people and 1 group kozima spl varming bfraser ConcertRG
	Interaction categories and the foundations of typed concurrent programming [My Copy] In Proceedings of the NATO Advanced Study Institute on Deductive program design (1996), pp. 35-113. by Samson Abramsky, Simon Gay, Rajagopal Nagarajan posted to enriched_category_theory lambda_calculus trace_theory by christiankissig on 2008-10-29 13:49:25 as
	The Impact of the Lambda Calculus on Logic and Computer Science [My Copy] Bulletin of Symbolic Logic, Vol. 3, No. 3. (1997), pp. 181-215. by Henk Barendregt posted to history lambda_calculus by robotact on 2008-04-14 19:58:17 as along with 3 people and 1 group dherman ds SamB NU-PRL
	The Lambda Calculus (Studies in Logic and the Foundations of Mathematics) [My Copy] (01 October 1984) by H. P. Barendregt posted to formal_semantics lambda_calculus textbooks by robotact on 2008-02-15 11:34:05 as along with 5 people DavidChemouil kowey bunge Benja d23
	Explicit Substitutions [My Copy] In Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California (1990), pp. 31-46. by Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean J. Lèvy posted to names lambda_calculus category_theory alpha_conversion by xiemaisi on 2007-01-16 07:14:45 as along with 1 group AS-IIS_ReadingGroup
	Semantics of Type Theory: Correctness and Completeness [My Copy] (01 December 1991) by Thomas Streicher posted to calculus_of_constructions category_theory dependent_types lambda_calculus by xiemaisi on 2007-01-03 03:47:21 as along with 1 person and 1 group jimburton AS-IIS_ReadingGroup
	Sets in Types, Types in Sets [My Copy] by Benjamin Werner posted to calculus_of_constructions curry-howard dependent_types iis lambda_calculus type_theory by xiemaisi on 2006-12-01 03:42:28 as along with 2 people and 2 groups maggesi pedagand AS-IIS_ReadingGroup Lambda the Ultimate
	The Inconsistency of Certain Formal Logics [My Copy] by S. C. Kleene, J. B. Rosser posted to iis lambda_calculus type_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2006-09-26 03:04:49 as
	A Set of Postulates for the Foundation of Logic [My Copy] by Alonzo Church posted to iis lambda_calculus type_theory by xiemaisi on 2006-09-25 09:33:31 as along with 1 group AS-IIS_ReadingGroup
	Lectures on the Curry-Howard isomorphism [My Copy] (1998) by M. Sorensen, P. Urzyczyn posted to curry-howard dependent_types iis lambda_calculus natural_deduction type_theory by xiemaisi on 2006-09-25 09:27:43 as along with 3 people and 1 group jonathlela ds fensef AS-IIS_ReadingGroup
	Lambda Calculi with Types [My Copy] In Handbook of Logic in Computer Science, Volumes 1 (Background: Mathematical Structures) and 2 (Background: Computational Structures), Abramsky \& Gabbay \& Maibaum (Eds.), Clarendon, Vol. 2 (1992) by Henk Barendregt posted to dependent_types iis lambda_calculus pure_type_systems type_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2006-09-25 09:26:30 as along with 9 people darinm pnkfelix tautologico Benja glaubersp ds mmarcus jimburton d23
	Closure Under Alpha-Conversion [My Copy] In Proceedings of the Workshop on Types for Proofs and Programs (1993), pp. 313-332. by Robert Pollack edited by Henk Barendregt, Tobias Nipkow posted to alpha_conversion lambda_calculus names by xiemaisi to the group AS-IIS_ReadingGroup on 2006-07-29 13:48:38 as
	A finite equational axiomatization of the functional algebras for the lambda calculus [My Copy] Inf. Comput., Vol. 148, No. 1. (January 1999), pp. 71-130. by Antonino Salibra, Robert Goldblatt posted to lambda_calculus logic by CLLC on 2006-03-27 10:44:19 as along with 1 person dmitri83
	The Impact of the Lambda Calculus in Logic and Computer Science [My Copy] The Bulletin of Symbolic Logic, Vol. 3, No. 2. (1997), pp. 181-215. by Henk Barendregt posted to church history_of_logic lambda_calculus by rzach to the group LogicPhilMath on 2006-02-12 05:04:09 as

Note: You may cite this page as: http://www.citeulike.org/tag/lambda_calculus

iis	10
type_theory	10
dependent_types	8
category_theory	5
alpha_conversion	4
calculus_of_constructions	4
curry-howard	4
names	4
church	2
concurrency	2
formal_semantics	2
history_of_logic	2
natural_deduction	2
pi_calculus	2
pure_type_systems	2
22	1
333	1
enriched_category_theory	1
functional_programming	1
hilbert_space	1
history	1
introduction	1
linear_logic	1
logic	1
mathematical_logic	1
programming	1
textbooks	1
trace_theory	1

Tag lambda_calculus [20 articles] Export

Related Tags