6. TLCA 2003:
Valencia, Spain
Martin Hofmann (Ed.):
Typed Lambda Calculi and Applications, 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings.
Lecture Notes in Computer Science 2701 Springer 2003, ISBN 3-540-40332-9 
- Andreas Abel:
Termination and Productivity Checking with Continuous Types.
1-15
- Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride:
Derivatives of Containers.
16-30
- Roberto M. Amadio:
Max-Plus Quasi-interpretations.
31-45
- Frédéric Blanqui:
Inductive Types in the Calculus of Algebraic Constructions.
46-59
- Gérard Boudol:
On Strong Normalization in the Intersection Type Discipline.
60-74
- Antonio Bucciarelli, Benjamin Leperchey, Vincent Padovani:
Relative Definability and Models of Unary PCF.
75-89
- Paolo Coppola, Simona Ronchi Della Rocca:
Principal Typing in Elementary Affine Logic.
90-104
- Thierry Coquand, Randy Pollack, Makoto Takeyama:
A Logical Framework with Dependently Typed Records.
105-119
- Ken-etsu Fujita:
A Sound and Complete CPS-Translation for lambda-mu-Calculus.
120-134
- Jo Erskine Hannay:
Abstraction Barrier-Observing Relational Parametricity.
135-152
- Thierry Joly:
Encoding of the Halting Problem into the Monster Type & Applications.
153-166
- Stefan Kahrs:
Well-Going Programs Can Be Typed.
167-179
- Yoshihiko Kakutani, Masahito Hasegawa:
Parameterizations and Fixed-Point Operators on Control Categories.
180-194
- Michal Konecný:
Functional In-Place Update with Layered Datatype Sharing.
195-210
- James Laird:
A Fully Abstract Bidomain Model of Unary FPC.
211-225
- Ranko Lazic, David Nowak:
On a Semantic Definition of Data Independence .
226-240
- François Maurel:
Nondeterministic Light Logics and NP-Time.
241-255
- Raphaël Montelatici:
Polarized Proof Nets with Cycles and Fixpoints Semantics.
256-270
- Nicolas Oury:
Observational Equivalence and Program Extraction in the Coq Proof Assistant.
271-285
- José Espírito Santo, Luis Pinto:
Permutative Conversions in Intuitionistic Multiary Sequent Calculi with Cuts.
286-300
- John Power:
A Universal Embedding for the Higher Order Structure of Computational Effects.
301-315
Last update Fri May 24 19:52:31 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
