CLC MEETING PROCEEDINGS: KEYWORD INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: B C D E F G H I K L M N P R S T W

B
bi-intuitionistic logic	Dualized Type Theory (PDF, talk)
C
Call by name	A type system for Continuation Calculus (PDF, talk)
Call by value	A type system for Continuation Calculus (PDF, talk)
call-by-name and call-by-value	Confluence for classical logic through the distinction between values and computations (PDF, talk)
CERES	Cut-Elimination in Schematic Proofs and Herbrand Sequents (PDF, talk)
classical logic	Infinitary Classical Logic: Recursive Equations and Interactive Semantics (PDF, talk) Dualized Type Theory (PDF, talk)
classical realizability	Dualized Type Theory (PDF, talk)
Combinatorial proofs	Separable Sequent Calculus for First-order Classical Logic (Work in Progress) (PDF, talk)
completeness	Dualized Type Theory (PDF, talk) Extensional Models of Typed Lambda-mu Calculus (PDF, talk)
computational content	A sheaf model of the algebraic closure (PDF, talk)
consistency	Dualized Type Theory (PDF, talk)
Constructive algebra	A sheaf model of the algebraic closure (PDF, talk)
context semantics	Stratified Nested Linear Logic (PDF, talk)
continuations	A type system for Continuation Calculus (PDF, talk)
cps translation	Confluence for classical logic through the distinction between values and computations (PDF, talk)
cut elimination	Cut-Elimination in Schematic Proofs and Herbrand Sequents (PDF, talk)
cut-elimination	Confluence for classical logic through the distinction between values and computations (PDF, talk)
D
duality	Dualized Type Theory (PDF, talk)
E
encoding	A fully-abstract semantics of lambda-mu in the pi-calculus (PDF)
extensional models	Extensional Models of Typed Lambda-mu Calculus (PDF, talk)
F
First-order classical proof nets	Separable Sequent Calculus for First-order Classical Logic (Work in Progress) (PDF, talk)
First-order Classical Sequent Calculus	Separable Sequent Calculus for First-order Classical Logic (Work in Progress) (PDF, talk)
full abstraction	A fully-abstract semantics of lambda-mu in the pi-calculus (PDF)
G
game semantics	Infinitary Classical Logic: Recursive Equations and Interactive Semantics (PDF, talk)
Gentzen's sharpened Hauptsatz	Separable Sequent Calculus for First-order Classical Logic (Work in Progress) (PDF, talk)
H
Herbrand Sequent	Cut-Elimination in Schematic Proofs and Herbrand Sequents (PDF, talk)
Herbrand's theorem	Separable Sequent Calculus for First-order Classical Logic (Work in Progress) (PDF, talk)
I
implicit computational complexity	Stratified Nested Linear Logic (PDF, talk)
Induction	Cut-Elimination in Schematic Proofs and Herbrand Sequents (PDF, talk)
Infinitary Trees	Infinitary Classical Logic: Recursive Equations and Interactive Semantics (PDF, talk)
Intersection and Union Types	A Translation of Intersection and Union Types for the lambda-mu Calculus (PDF, talk)
K
kripke model	Dualized Type Theory (PDF, talk)
L
lambda calculus	A type system for Continuation Calculus (PDF, talk)
lambda mu	A fully-abstract semantics of lambda-mu in the pi-calculus (PDF)
lambda-mu calculus	A Translation of Intersection and Union Types for the lambda-mu Calculus (PDF, talk) Extensional Models of Typed Lambda-mu Calculus (PDF, talk)
light logics	Stratified Nested Linear Logic (PDF, talk)
linear logic	A proof-theoretic view on scheduling in concurrency (PDF, talk) Stratified Nested Linear Logic (PDF, talk)
Ludics	Infinitary Classical Logic: Recursive Equations and Interactive Semantics (PDF, talk)
M
Midsequent theorem	Separable Sequent Calculus for First-order Classical Logic (Work in Progress) (PDF, talk)
monadic language	Confluence for classical logic through the distinction between values and computations (PDF, talk)
N
Negative translation	A Translation of Intersection and Union Types for the lambda-mu Calculus (PDF, talk)
non-determinism	A proof-theoretic view on scheduling in concurrency (PDF, talk)
P
pi calculus	A fully-abstract semantics of lambda-mu in the pi-calculus (PDF)
polynomial time	Stratified Nested Linear Logic (PDF, talk)
process calculus	A proof-theoretic view on scheduling in concurrency (PDF, talk)
proof theory	A proof-theoretic view on scheduling in concurrency (PDF, talk)
R
Recursive Types	Infinitary Classical Logic: Recursive Equations and Interactive Semantics (PDF, talk)
resolution	Cut-Elimination in Schematic Proofs and Herbrand Sequents (PDF, talk)
Rule transposition	Separable Sequent Calculus for First-order Classical Logic (Work in Progress) (PDF, talk)
S
scheduling	A proof-theoretic view on scheduling in concurrency (PDF, talk)
Schematic Proof	Cut-Elimination in Schematic Proofs and Herbrand Sequents (PDF, talk)
Scott data types	A type system for Continuation Calculus (PDF, talk)
semantics	A proof-theoretic view on scheduling in concurrency (PDF, talk)
sequent calculus	Dualized Type Theory (PDF, talk) Confluence for classical logic through the distinction between values and computations (PDF, talk)
sheaf model	A sheaf model of the algebraic closure (PDF, talk)
simply-typed lambda-calculus	Confluence for classical logic through the distinction between values and computations (PDF, talk)
Strong normalisation	A Translation of Intersection and Union Types for the lambda-mu Calculus (PDF, talk)
T
type preservation	Dualized Type Theory (PDF, talk)
type system	Extensional Models of Typed Lambda-mu Calculus (PDF, talk)
Types	A type system for Continuation Calculus (PDF, talk)
W
weak normalization	Dualized Type Theory (PDF, talk)
weak reduction	A fully-abstract semantics of lambda-mu in the pi-calculus (PDF)