Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Saurin, Alexis - Laboratoire Preuves, Programmes et Systèmes, Université Paris 7 - Denis Diderot
-calculus and -calculus: a Capital Dierence
On the meaning of focalization Michele Basaldella Alexis Saurin Kazushige Terui
An Interactive Approach to Control in Proof Search: Preliminary Alexis Saurin
Canonical Sequent Proofs via Multi-Focusing Kaustuv Chaudhuri1
Standardization and Bhm trees for -calculus Alexis Saurin
Separation with streams in the -calculus Alexis Saurin
Interactive Proof Search with Ludics: Short Abstract Alexis Saurin
On the relations between the syntactic theories of lambda-mu-calculi.
Tarski Church LK
From focalization of logic to the logic of focalization
A hierarchy for delimited continuations in call-by-name
Proof and refutation in MALL as a game Olivier Delandea
P G G P P G
Typing streams in the -calculus: extended abstract
