ITRS Full papers: Keyword Index

ITRS FULL PAPERS: KEYWORD INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: A C D E G I L N P R S U

A
adequate numeral system	On sets of terms with a given intersection type (PDF, )
C
call-by-value	Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus (PDF, talk)
cut elimination	Intersection Subtyping with Constructors (PDF, talk)
D
discrete polymorphism	Gradual Intersection Types (PDF, talk)
E
execution time	Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus (PDF, talk)
G
gradual typing	Gradual Intersection Types (PDF, talk)
I
intersection types	Natural Deduction and Normalization Proofs for the Intersection Type Discipline (PDF, talk) Intersection Subtyping with Constructors (PDF, talk) On sets of terms with a given intersection type (PDF, ) Gradual Intersection Types (PDF, talk)
L
lambda calculus	Strong normalization of simple types through uniform intersection types. (PDF, talk) Gradual Intersection Types (PDF, talk)
lambda-calculus	Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus (PDF, talk)
linear logic	Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus (PDF, talk)
N
Natural deduction	Natural Deduction and Normalization Proofs for the Intersection Type Discipline (PDF, talk)
non-idempotent intersection types	Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus (PDF, talk)
Normalization	Natural Deduction and Normalization Proofs for the Intersection Type Discipline (PDF, talk)
P
product types	Intersection Subtyping with Constructors (PDF, talk)
R
relational semantics	Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus (PDF, talk)
S
shuffling calculus	Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus (PDF, talk)
simple types	Strong normalization of simple types through uniform intersection types. (PDF, talk)
strongly normalizable terms	On sets of terms with a given intersection type (PDF, )
subject reduction	Intersection Subtyping with Constructors (PDF, talk)
Subtyping	Intersection Subtyping with Constructors (PDF, talk)
U
uniform intersection types	Strong normalization of simple types through uniform intersection types. (PDF, talk)