Cached

Download Links

by Unknown Authors

Active Bibliography

1 Parigot's Second Order λμ-Calculus and Inductive Types – Ralph Matthes - 2001
Téléphone: +33(0)4.72.72.80.37 – École Normale, Supérieure Lyon, Pierre Lescanne, Silvia Likavec, École Normale, Supérieure Lyon, Pierre Lescanne, Silvia Likavec - 2004
A Filter Model for the λµ Calculus – Steffen Van Bakel, Franco Barbanera
DOI: 10.1007/11693024_5 Coinductive big-step operational semantics – Xavier Leroy
37 Coinductive big-step operational semantics – Xavier Leroy - 2006
I Basic Categories 6 – J. R. B. Cockett - 2010
4 Introduction to Turing categories – J. R. B. Cockett, Pieter J. W. Hofstra
7 Böhm's Theorem for Böhm Trees – Mariangiola Dezani-Ciancaglini, Benedetto Intrigila, Marisa Venturini-Zilli - 1998
20 Computational Foundations of Basic Recursive Function Theory – Robert L. Constable, Scott Fraser Smith - 1988
Thesis Proposal: The logical basis of evaluation order – Noam Zeilberger, Peter Lee, Robert Harper, Paul-andré Melliès, Université Paris - 2007
2 The next 700 Krivine Machines – Rémi Douence, Pascal Fradet - 2003
Unifying Classical and Intuitionistic Logics for Computational Control – Chuck Liang, Dale Miller
1 LINEAR-USE CPS TRANSLATIONS IN THE ENRICHED EFFECT CALCULUS – Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
LINEAR-USE CPS TRANSLATIONS IN THE ENRICHED EFFECT CALCULUS ∗ – Jeff Egger A, Rasmus Ejlers Møgelberg B, Alex Simpson C - 2012
6 The differential λµ-calculus – Lionel Vaux - 2007
10 Relational parametricity and control – Masahito Hasegawa
5 Strong Normalization of Second Order Symmetric Lambda-mu Calculus – Yoriyuki Yamagata - 2001
12 On the unity of duality – Noam Zeilberger - 2008
Author manuscript, published in "Higher-Order and Symbolic Computation 20, 4 (2007)" DOI: 10.1007/s10990-007-9007-z A Proof-Theoretic Foundation of Abortive Continuations † – Zena M. Ariola, Hugo Herbelin, Amr Sabry - 2012