Logic and Foundations
- 222
- A presentation of the Curry-Howard Correspondence (1997)
- Notes on the Curry-Howard correspondence by Chantal Berline.
- 223
- The Coq proof assistant
- Allows the user to handle calculus assertions, to check mechanically proofs of these assertions, helps to find formal proofs, extracts a certified program from the constructive proof of its formal specification.
- 225
- A Non Functional Calculus: Linear Logic and Concurrency (2000)
- (CiteSeer) This paper proposes the *-calculus as an approach that unifies Abramsky's proofs-as-processes approach with Boudol and Berry's Chemical Abstract Machine approach.
- 226
- Completeness Results for Linear Logic on Petri Nets (1993)
- (CiteSeer) Article by Engberg and Winskel showing that Petri nets provide a class of model for linear logic that is complete.
- 227
- The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (1998)
- (CiteSeer) This PhD thesis proposes the fusion calculus as a simplified pi-calculus with many formal advantages.
- 228
- Logic Programming in the LF Logical Framework (1991)
- Article by Frank Pfennig describing a logic programming language which serves as a proof search engine for LF.
- 229
- A Curry-Howard Foundation for Functional Computation with Control (1997)
- Article by C.-H. L. Ong and C. A. Stewart which presents a call-by-name variant of Parigot's lambda-mu calculus. The calculus is proposed as a foundation for first-class continuations and statically scoped exceptions in functional programming languages.
- 230
- Computational Content of Classical Logic (1996)
- Lecture notes from a research seminar series by Thierry Coquand covering double-negation translations, game semantics of classical logic and point-free topology.
- 231
- Computational Isomorphisms in Classical Logic
- Article by V. Danos, J. B. Joinet and H. Schellinx examining the categorical semantics of classical logic from a perspective inspired by linear logic.
- 232
- On the computational content of the Axiom of Choice (1995)
- Article by S. Berardi, M. Bezem and T. Coquand presenting a possible computational content of the negative translation of classical analysis with the Axiom of Choice.
- 233
- Bernays, Paul
- Biography of Paul Bernays (1888-1977) from the MacTutor History of Mathematics Archive.
- 234
- The Bernays Project
- Research project to edit and translate Bernays's philosophical writings into English.