default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th TLCA 2003: Valencia, Spain
- Martin Hofmann:
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 Gordon 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, Luís 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-07-11 00:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
