-
Expressing discourse dynamics through continuations
This thesis develops a theoretical formalism of formal semantics of natural language in the spirit of Montague semantics. The developed framework satisfies the... -
L'exception à l'obligation d'études d'impact
National audience -
L'aménagement conventionné, à l'aune du droit communautaire
National audience -
an intuitionistic lambda calculus with exceptions
We introduce a typed lambda-calculus which allows the use of exceptions in the ML style. It is an extension of the system AF2 of Krivine & Leivant (Krivine, 1990;... -
Analyse économique des exceptions
This dataset has no description
-
A CPS-semantics for a typed lambda-calculus of exception handling with fixed-...
Colloque avec actes et comité de lecture.
