Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 2003 : proceedings /
Saved in:
| Meeting name: | International Conference on Typed Lambda Calculi and Applications (6th : 2003 : Valencia, Spain) |
|---|---|
| Imprint: | Berlin ; New York : Springer, 2003. |
| Description: | viii, 315 p. : fig. ; 24 cm. |
| Language: | English |
| Series: | Lecture notes in computer science, 0302-9743 ; 2701 |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/4888849 |
Table of Contents:
- Termination and Productivity Checking with Continuous Types / Andreas Abel
- Derivatives of Containers / Michael Abbott, Thorsten Altenkirch, Neil Ghani and Conor McBride
- Max-Plus Quasi-Interpretations / Roberto M. Amadio
- Inductive Types in the Calculus of Algebraic Constructions / Frederic Blanqui
- On Strong Normalization in the Intersection Type Discipline / Gerard Boudol
- Relative Definability and Models of Unary PCF / Antonio Bucciarelli, Benjamin Leperchey and Vincent Padovani
- Principal Typing in Elementary Affine Logic / Paolo Coppola and Simona Ronchi della Rocca
- A Logical Framework with Dependently Typed Records / Thierry Coquand, Randy Pollack and Makoto Takeyama
- A Sound and Complete CPS-Translation for [lambda][mu]-Calculus / Ken-etsu Fujita
- Abstraction Barrier-Observing Relational Parametricity / Jo Hannay
- Encoding of the Halting Problem into the Monster Type & Applications / Thierry Joly
- Well-Going Programs Can Be Typed / Stefan Kahrs
- Parameterizations and Fixed-Point Operators on Control Categories / Yoshihiko Kakutani and Masahito Hasegawa
- Functional In-Place Update with Layered Datatype Sharing / Michal Konecny
- A Fully Abstract Bidomain Model of Unary FPC / Jim Laird
- On a Semantic Definition of Data Independence / Ranko Lazic and David Nowak
- Nondeterministic Light Logics and NP-Time / Francois Maurel
- Polarized Proof Nets with Cycles and Fixpoints Semantics / Raphael Montelatici
- Observational Equivalence and Program Extraction in the Cast Proof Assistant / Nicolas Oury
- Permutative Conversions in Intuitionistic Multiary Sequent Calculi with Cuts / Jose Espirito Santo and Luis Pinto
- A Universal Embedding for the Higher Order Structure of Computational Effects / John Power.
