103 search results - page 5 / 21 » Computational Interpretations of Classical Linear Logic |
68
Voted
CIE
2010
Springer
15 years 3 months ago
2010
Springer
We develop applications of selection functions to proof theory and computational extraction of witnesses from proofs in classical analysis. The main novelty is a translation of cla...
74
Voted
LICS
1996
IEEE
15 years 2 months ago
1996
IEEE
We present the linear type theory LLF as the forThis extended abstract will appear on the proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science -LICS'...
99
Voted
FLOPS
2004
Springer
15 years 3 months ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
74
Voted
ECAI
2010
Springer
14 years 11 months ago
2010
Springer
Whilst narrative representations have played a prominent role in AI research, there has been a renewed interest in the topic with the development of interactive narratives. A typic...
78
Voted
DLOG
2007
15 years 16 days ago
2007
One of the main concerns of constructive semantics is to provide a computational interpretation for the proofs of a given logic. In this paper we introduce a constructive semantics...