Tag curry-howard [27 articles] Export

Recent papers classified by the tag curry-howard.

	Computational types from a logical perspective [My Copy] J. Funct. Program., Vol. 8, No. 2. (1998), pp. 177-193. by P. N. Benton, G. M. Bierman, V. C. V. De Paiva posted to rg-2005 lax-logic curry-howard by robertjohnsimmons to the group ConcertRG on 2009-08-17 13:27:30 as
	Computational interpretations of linear logic [My Copy] Theor. Comput. Sci., Vol. 111, No. 1-2. (1993), pp. 3-57. by Samson Abramsky posted to 333 curry-howard linear_logic by robotact on 2009-08-09 01:55:26 as
	Proofs and types [My Copy] (1989) by Jean Y. Girard, Paul Taylor, Yves Lafont posted to logic linear_logic introduction formal_semantics curry-howard computer_science 4444 by robotact on 2009-07-24 12:27:44 as along with 7 people and 1 group pedagand ddemange dimvar robertjohnsimmons alec AndreasSchropp jonathlela ConcertRG
	The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code [My Copy] In FLOPS '99: Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming (1999), pp. 300-318. by Atsushi Ohori posted to assembly code curry-howard logic program proof transformation by ddemange on 2009-04-10 14:08:26 as along with 2 people noam_zeilberger jespera
	Proof-Directed De-compilation of Low-Level Code [My Copy] In ESOP '01: Proceedings of the 10th European Symposium on Programming Languages and Systems (2001), pp. 352-366. by Shin Y. Katsumata, Atsushi Ohori posted to abstract analysis curry-howard decompilation denotational program proof semantics by ddemange on 2009-04-10 14:06:52 as
	Putting curry-howard to work [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 74-85. by Tim Sheard posted to curry-howard logic by fvogels on 2008-10-17 23:18:04 as along with 13 people and 3 groups Scis0000002 draganigajic greenrd plaugg yallop thsutton voigt mahler KarlKlose mcclurmc robotact jimburton americovargas Rightscom SRG_at_UCD Lambda the Ultimate
	Formalising Formulas-as-Types-as-Objects [My Copy] In TYPES '99: Selected papers from the International Workshop on Types for Proofs and Programs (2000), pp. 174-193. by Qiao Haiyan posted to category-theory curry-howard lambda-calculus by mcclurmc on 2008-03-07 17:32:59 as
	On the pi-Calculus and Linear Logic [My Copy] Theoretical Computer Science, Vol. 135, No. 1. (1994), pp. 11-65. by Gianluigi Bellin, Philip J. Scott posted to concurrency curry-howard logic pi-calculus by mcclurmc on 2008-03-07 17:29:27 as
	A Semantic View of Classical Proofs: Type-Theoretic, Categorical, and Denotational Characterizations (Preliminary Extended Abstract) [My Copy] In Proceedings 11th Annual IEEE Symp.\ on Logic in Computer Science, {LICS}'96, New Brunswick, {NJ}, {USA}, 27--30 July 1996 (1996), pp. 230-241. by Luke C. H. Ong posted to category-theory curry-howard game-semantic type-theory by ds on 2007-10-03 08:28:34 as
	Lectures on the Curry-Howard isomorphism [My Copy] (1998) by M. Srensen, P. Urzyczyn posted to curry-howard type-theory by ds on 2007-09-03 22:02:05 as along with 3 people and 1 group xiemaisi jonathlela fensef AS-IIS_ReadingGroup
	Proofs and Types (Cambridge Tracts in Theoretical Computer Science) [My Copy] (28 April 1989) by Jean-Yves Girard, Yves Lafont, Paul Taylor posted to curry-howard intuitionistic logic by eporreca on 2007-08-23 11:08:08 as along with 1 person DavidChemouil
	Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics) [My Copy] (14 September 2006) by Morten H. Sørensen, Pawel Urzyczyn posted to curry-howard intuitionistic logic by eporreca on 2007-08-23 08:48:42 as
	Constructive Logics Part I: A Tutorial on Proof Systems and Typed gamma-Calculi [My Copy] Theoretical Computer Science, Vol. 110, No. 2. (1993), pp. 249-339. by Jean H. Gallier posted to curry-howard lambda-calculus proof-theory by ds on 2007-07-13 14:07:51 as along with 4 people and 2 groups rgrig scavadini mfrydr Scis0000002 SRG_at_UCD complogic
	On the Correspondence between Proofs and λ-Terms [My Copy] by Jean Gallier posted to curry-howard by ds on 2007-07-13 14:04:53 as along with 1 person and 1 group mfrydr complogic
	Lambda Terms for Natural Deduction, Sequent Calculus and Cut Elimination [My Copy] by Henk Barendregt, Et posted to curry-howard lambda-calculus proof-theory by ds on 2007-07-10 17:11:03 as
	Logics and Type Systems [My Copy] (1993) by Herman Geuvers posted to curry-howard type-theory by ds on 2007-07-10 17:08:41 as along with 1 person takeha-e
	The Formulae-as-Types Notion of Control [My Copy] In Conf.\ Record 17th Annual ACM Symp.\ on Principles of Programming Languages, POPL'90, San Francisco, CA, USA, 17--19 Jan 1990 (1990), pp. 47-57. by Timothy G. Griffin posted to continuations curry-howard scheme by ds on 2007-07-08 16:34:33 as along with 2 people and 1 group dherman JacquesC NU-PRL
	A Curry-Howard Isomorphism for Compilation and Program Execution [My Copy] In TLCA '99: Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications (1999), pp. 280-294. by Atsushi Ohori posted to categorical curry-howard curry-howard-isomorphism programming by scis0000001 on 2006-12-29 14:15:10 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
	Denotational proof languages [My Copy] (2000) by Konstantinos Arkoudas posted to athena curry-howard dpl proof-language theorem-proving verification by dalev to the group NU-PRL on 2005-08-02 03:53:24 as
	Subtractive logic [My Copy] Theoretical Computer Science, Vol. 254, No. 1--2. (2001), pp. 151-185. by Tristan Crolard posted to continuations control-operators curry-howard subtractive-types by dherman to the group NU-PRL on 2005-06-02 18:11:53 as along with 2 people msakai EdwardKmett
	A Taste of Linear Logic [My Copy] In Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science, Gd\'ansk (1993) by P. L. Wadler posted to curry-howard linear-types linearity by dherman to the group NU-PRL on 2004-12-29 17:55:50 along with 3 people pedagand twleung tautologico
	The Girard-Reynolds Isomorphism [My Copy] Lecture Notes in Computer Science, Vol. 2215 (2001) by Philip Wadler posted to curry-howard girard-reynolds lambda-cube logical-relations parametricity by dherman to the group NU-PRL on 2004-12-29 15:29:13
	An Introduction to Dependent Type Theory [My Copy] Lecture Notes in Computer Science, pp. 1-41. by Gilles Barthe, Thierry Coquand posted to curry-howard dependent-types type-theory by dherman to the group NU-PRL on 2004-12-23 14:35:15 along with 4 people Scis0000002 greg_restall tautologico noam_zeilberger
	An Introduction to Dependent Type Theory [My Copy] In Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures (2002), pp. 1-41. by Gilles Barthe, Thierry Coquand posted to curry-howard dependent-types type-theory by dherman to the group NU-PRL on 2004-12-23 14:34:38 along with 5 people darinm tautologico spl ryanc jimburton
	A type-theoretic foundation of continuations and prompts [My Copy] In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 40-53. by Zena M. Ariola, Hugo Herbelin, Amr Sabry posted to continuations control-operators curry-howard subtractive-types by dherman to the group NU-PRL on 2004-12-23 14:21:19

Note: You may cite this page as: http://www.citeulike.org/tag/curry-howard

type-theory	12
continuations	8
logic	8
dependent_types	6
calculus_of_constructions	4
control-operators	4
dependent-types	4
iis	4
lambda-calculus	4
lambda_calculus	4
subtractive-types	4
type_theory	4
control	3
abstract	2
athena	2
category-theory	2
code	2
dpl	2
girard-reynolds	2
interactive_theorem_proving	2
intuitionistic	2
lambda-cube	2
lax-logic	2
linear-types	2
linear_logic	2
linearity	2
logical-relations	2
natural_deduction	2
parametricity	2
program	2
proof	2
proof-language	2
proof-theory	2
pure_type_systems	2
rewriting_logic	2
theorem-proving	2
verification	2
333	1
4444	1
analysis	1
assembly	1
calculus	1
categorical	1
computer_science	1
concurrency	1
curry-howard-isomorphism	1
decompilation	1
denotational	1
formal_semantics	1
functional-programming	1
functional_programming	1
game-semantic	1
generics	1
haskell	1
introduction	1
isomorphism	1
lamda	1
machine	1
pi-calculus	1
programming	1
programming_languages	1
rg-2005	1
scheme	1
semantics	1
transformation	1

Tag curry-howard [27 articles] Export

Related Tags