Group: AS-IIS_ReadingGroup - library 31 articles Export

	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 to the group AS-IIS_ReadingGroup on 2007-01-16 07:14:45 as
	Categories for the Working Mathematician [My Copy] (1971) by Saunders Mac~lane posted to category_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2007-01-09 03:58:21 as
	Basic Category Theory for Computer Scientists [My Copy] (1991) by Benjamin C. Pierce posted to category_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2007-01-09 03:55:59 as
	Review of the elements of 2-categories [My Copy] In Category Seminar, Vol. 420 (1974), pp. 75-103. by G. M. Kelly, Ross Street posted to category_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2007-01-09 03:50:36 as
	The Calculus of Constructions [My Copy] Information and Computation, Vol. 76, No. 2--3. (1988) by Thierry Coquand, Gerard Huet posted to calculus_of_constructions type_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2007-01-03 04:11:13 as
	CINNI - A Generic Calculus of Explicit Substitutions and its Application to lambda-, sigma- and pi-calculi [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 36 (2000) by Mark-Oliver Stehr posted to lambda_calculus dependent_types alpha_conversion by xiemaisi to the group AS-IIS_ReadingGroup on 2007-01-03 03:56:49 as
	Categorical Type Theory [My Copy] (18 September 1991) by Bart Jacobs posted to category_theory dependent_types lambda_calculus type_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2007-01-03 03:52:12 as
	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 to the group AS-IIS_ReadingGroup on 2007-01-03 03:47:21 as along with 1 person jimburton
	Logical definability and query languages over unranked trees [My Copy] Logic in Computer Science, 2003. Proceedings. 18th Annual IEEE Symposium on (2003), pp. 178-187. by L. Libkin, F. Neven posted to logic query xml by bowyaw to the group AS-IIS_ReadingGroup on 2006-12-29 04:11:30 as
	Functorial Semantics of Rewrite Theories [My Copy] Lecture Notes in Computer Science : Formal Methods in Software and Systems Modeling (2005), pp. 220-235. by José Meseguer posted to algebraic_theories category_theory rewriting_logic by xiemaisi to the group AS-IIS_ReadingGroup on 2006-12-12 07:41:31 as
	Conditional rewriting logic as a unified model of concurrency [My Copy] Theor. Comput. Sci., Vol. 96, No. 1. (April 1992), pp. 73-155. by Jos&\#233; Meseguer posted to algebraic_theories category_theory maude rewriting_logic by xiemaisi to the group AS-IIS_ReadingGroup on 2006-12-12 07:39:05 as along with 1 person kavabean
	Generalised algebraic theories and contextual categories [My Copy] Annals of Pure and Applied Logic, Vol. 32 (1986), pp. 209-243. by John Cartmell posted to algebraic_theories category_theory dependent_types by xiemaisi to the group AS-IIS_ReadingGroup on 2006-12-12 06:33:45 as
	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 to the group AS-IIS_ReadingGroup on 2006-12-01 03:42:28 as along with 2 people and 1 group maggesi pedagand Lambda the Ultimate
	Membership Equational Logic, Calculus of Inductive Constructions, and Rewrite Logic (Extended Abstract) [My Copy] by Jean P. Jouannaud posted to calculus_of_constructions curry-howard dependent_types interactive_theorem_proving pure_type_systems rewriting_logic by xiemaisi to the group AS-IIS_ReadingGroup on 2006-11-06 05:48:56 as
	Proofs and Types [My Copy] (1990) by Jean-Yves Girard, Paulr Taylor, Yves Lafont posted to curry-howard iis system_f by trc to the group AS-IIS_ReadingGroup on 2006-10-25 09:12:12 as along with 2 people daqing oryp6518
	System F with Type Equality Coercions [My Copy] by Martin Sulzmann, Manuel Chakravarty, Simon Peyton-Jones posted to associated-types gadt iis intermediate-language type-classes type-equality by scm to the group AS-IIS_ReadingGroup on 2006-10-20 09:42:36 as along with 1 person zednenem
	Advanced Topics in Types and Programming Languages [My Copy] (December 2004) by Benjamin C. Pierce posted to calculus_of_constructions curry-howard dependent_types iis interactive_theorem_proving lambda_calculus pure_type_systems type_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2006-10-05 05:20:57 as
	Types and Programming Languages [My Copy] (February 2002) by Benjamin C. Pierce posted to curry-howard iis lambda_calculus type_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2006-10-05 05:18:37 as
	Untersuchungen über das logische Schließen II [My Copy] Mathematische Zeitschrift, Vol. 39 (1935) by Gerhard Gentzen posted to cut_elimination natural_deduction proof_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2006-09-26 03:18:51 as
	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 to the group AS-IIS_ReadingGroup on 2006-09-25 09:33:31 as
	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 to the group AS-IIS_ReadingGroup on 2006-09-25 09:27:43 as along with 3 people jonathlela ds fensef
	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
	Categorical Logic [My Copy] In Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures (2001) by Andrew M. Pitts edited by S. Abramsky, D. M. Gabbay, T. S. E. Maibaum posted to category_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2006-08-28 04:31:34 as along with 18 people and 3 groups ama08r jorisslob dalev jrw tautologico zednenem wasi schaal dmitri83 ryanc scis0000001 aleks kaqui keigoi glaubersp janschaefer mmarcus ps_ttf NU-PRL Compilers TU-KL-SoftwareTechnologyGroup
	Syntax and Semantics of Dependent Types [My Copy] In Semantics and Logics of Computation, Vol. 14 (1997), pp. 79-130. by Martin Hofmann edited by A. M. Pitts, P. Dybjer posted to calculus_of_constructions dependent_types type_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2006-08-28 04:29:38 as along with 3 people tautologico rysavy msakai
	Untersuchungen über das logische Schließen I [My Copy] Mathematische Zeitschrift, No. 39. (1934) by Gerhard Gentzen posted to cut_elimination natural_deduction proof_theory sequent_calculus by xiemaisi to the group AS-IIS_ReadingGroup on 2006-08-27 15:58:41 as
	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
	An Extended Calculus of Constructions [My Copy] (1990) by Zhaohui Luo posted to calculus_of_constructions type_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2006-07-26 22:34:21 as along with 4 people msakai Benja glaubersp Scis0000002
	Programming, Specification, and Interactive Theorem Proving [My Copy] (23 September 2002) by Mark-Oliver Stehr posted to interactive_theorem_proving maude occ open_calculus_of_constructions by xiemaisi to the group AS-IIS_ReadingGroup on 2006-07-26 16:08:02 as
	Rewriting logic as a logical and semantic framework [My Copy] (1993) by Martí N. Oliet, J. Meseguer posted to maude rewriting_logic by xiemaisi to the group AS-IIS_ReadingGroup on 2006-07-26 15:27:41 as along with 1 person Scis0000002
	Pure type systems in rewriting logic [My Copy] (1999) by M. Stehr, J. Meseguer posted to maude pure_type_systems rewriting_logic by xiemaisi to the group AS-IIS_ReadingGroup on 2006-07-26 15:25:49 as

Note: You may cite this page as: http://www.citeulike.org/group/1606

lambda_calculus	12
type_theory	11
category_theory	10
dependent_types	10
iis	9
calculus_of_constructions	7
curry-howard	6
rewriting_logic	5
maude	4
pure_type_systems	4
algebraic_theories	3
alpha_conversion	3
interactive_theorem_proving	3
natural_deduction	3
cut_elimination	2
names	2
proof_theory	2
associated-types	1
gadt	1
intermediate-language	1
logic	1
occ	1
open_calculus_of_constructions	1
query	1
sequent_calculus	1
system_f	1
type-classes	1
type-equality	1
xml	1

Group: AS-IIS_ReadingGroup - library 31 articles Export

Group Tags