.:. Consultation > Liste des articles .:.

86 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Extracting Herbrand trees in classical realizability using forcing Rieg L. [ensl-00814278 - version 1] (16/04/2013)

Extracting Herbrand trees from Coq Rieg L. Rapport de recherche [ensl-00814115 - version 1]

On the strength of weak compactness Kreuzer A. P. Computability 1, 2 (2012) 171-179 [hal-00795017 - version 1]

Intersection Types with Subtyping by Means of Cut Elimination Laurent O. Fundamenta Informaticae 121, 1-4 (2012) 203-226 [hal-00768868 - version 1]

A logical analysis of the generalized Banach contractions principle Kreuzer A. P. Journal of Logic and Analysis 4 (2012) 17, p. 1-16 [hal-00776756 - version 1]

Parametricity in an Impredicative Sort Keller C., Lasson M. CSL - 26th International Workshop/21st Annual Conference of the EACSL - 2012, France (2012) [hal-00730913 - version 1]

Higher-Order Interpretations and Program Complexity Baillot P., Dal Lago U. Dans Proceedings of the conference Computer Science Logic 2012 - 21st Annual Conference of the EACSL, Computer Science Logic 2012 (CSL), France (2012) [hal-00798298 - version 1]

A Presheaf Environment for the Explicit Fusion Calculus Bonchi F., Maria Grazia B., Vincenzo C., Gadducci F. Journal of Automated Reasoning 49, 2 (2012) 161-183 [hal-00777522 - version 1]

The Refined Calculus of Inductive Construction: Parametricity and Abstraction Keller C., Lasson M. LICS - 27th Annual IEEE Symposium on Logic in Computer Science - 2012, Croatie (2012) [hal-00757620 - version 1]

On the Rationality of Escalation Lescanne P., Matthieu P. none (2012) 23 [ensl-00439911 - version 2]