6. TLCA 2003: Valencia, Spain

@proceedings{DBLP:conf/tlca/2003,
  editor    = {Martin Hofmann},
  title     = {Typed Lambda Calculi and Applications, 6th International Conference,
               TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings},
  booktitle = {TLCA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2701},
  year      = {2003},
  isbn      = {3-540-40332-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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