Follow @dmoz
about dmoz

dmoz blog

suggest URL

update listing

become an editor

report abuse/spam

help
the entire directory
only in FormulaeasTypes_Correspondence/Classical_Logic
Description
Top
:
Science
:
Math
:
Logic and Foundations
:
Computational Logic
:
Combinatory Logic and Lambda Calculus
:
FormulaeasTypes Correspondence
:
Classical Logic
(7)
Computational Content of Classical Logic (1996)
 Lecture notes from a research seminar series by Thierry Coquand covering doublenegation translations, game semantics of classical logic and pointfree topology.
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.
CPS Translations and Applications: the Cube and Beyond (1996)
 Article by G. Barthe, J. Hatcliff, and M.H. SÃ¸rensen which presents a CPS translation to Barenderegt's `cube' of pure type systems, and applies this to provide a formulaeastypes correspondence for higherorder classical predicate logic.
A CurryHoward Foundation for Functional Computation with Control (1997)
 Article by C.H. L. Ong and C. A. Stewart which presents a callbyname variant of Parigot's lambdamu calculus. The calculus is proposed as a foundation for firstclass continuations and statically scoped exceptions in functional programming languages.
A Notion of Classical Pure Type System (1997)
 Article by Gilles Barthes.
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.
A Semantic View of Classical Proofs (1996)
 Article by C.H. Luke Ong presenting the semantics of classical proof theory from three perspectives: a formulaeastypes characterisation in a variant of Parigot's lambdamu calculus, a denotational characterisation in game semantics, and a categorical semantics as a fibred CCC.
"
Classical Logic
" search on:
AOL

Ask

Bing

Blekko

DuckDuckGo

Gigablast

Google

ixquick

Yahoo

Yandex

Yippy
Volunteer
to edit this category.
Copyright © 19982014 AOL Inc.
Terms of Use
Visit our sister sites
mozilla.org

MusicMoz

Wikipedia
Last update: June 26, 2012 at 12:54:03 UTC 
edit