Harvard |

Harvard

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009223347/catalog> ?p ?o. }

Showing items 1 to 26 of 26 with 100 items per page.

catalog abstract "This volume represents the proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain on 10–12 June 2003 in conjunction with CADE and RTA. It contains 21 c- tributions which were selected from 40 submissions. Three invited talks by D. McAllester, G. Gonthier, and R. Loader are not included in this volume. The editor wishes to thank the members of the Program Committee and the referees for their help in putting together a very attractive program. April 2003 Martin Hofmann Program Committee A. Asperti J. Palsberg (University of Bologna) (Purdue University) T. Coquand H. Schwichtenberg (Chalmers University, G¨ oteborg) (University of Munich) V. Danos N. Shankar (University Paris VII) (SRI International, Menlo Park) M. Hofmann P. Urzyczyn (Chair, University of Munich) (Warsaw University) P. -A. Mellies (CNRS, Paris) Steering Committee S. Abramsky H. Barendregt (Chair, Oxford University) (University of Nijmegen) M. Dezani-Ciancaglini R. Hindley (University of Torino) (University of Swansea) VI Preface Referees A. Abel T. Altenkirch A. Asperti P. Baillot G. Barthe M. Benke N. Benton U. Berger J. Chrzaszcz A. Compagnoni T. Coquand R. di Cosmo P. -L. Curien V. Danos R. Dyckho? T. Ehrhard C. Faggian C. Fuehrmann H. Geuvers J. Goubault P. de Groote R. Hasegawa H. Herbelin M. Hofmann G. Hutton B. Jay F. Joachimski J. B. Joinet A. J. Kfoury U. Dal Lago F. Lamarche H. Leiss T. Loew J. Longley P. Manoury S. Martini R. Matthes M. Mauny J.".
catalog contributor b13004030.
catalog contributor b13004031.
catalog created "2003.".
catalog date "2003".
catalog date "2003.".
catalog dateCopyrighted "2003.".
catalog description "Includes bibliographical references and index.".
catalog description "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.".
catalog description "This volume represents the proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain on 10–12 June 2003 in conjunction with CADE and RTA. It contains 21 c- tributions which were selected from 40 submissions. Three invited talks by D. McAllester, G. Gonthier, and R. Loader are not included in this volume. The editor wishes to thank the members of the Program Committee and the referees for their help in putting together a very attractive program. April 2003 Martin Hofmann Program Committee A. Asperti J. Palsberg (University of Bologna) (Purdue University) T. Coquand H. Schwichtenberg (Chalmers University, G¨ oteborg) (University of Munich) V. Danos N. Shankar (University Paris VII) (SRI International, Menlo Park) M. Hofmann P. Urzyczyn (Chair, University of Munich) (Warsaw University) P. -A. Mellies (CNRS, Paris) Steering Committee S. Abramsky H. Barendregt (Chair, Oxford University) (University of Nijmegen) M. Dezani-Ciancaglini R. Hindley (University of Torino) (University of Swansea) VI Preface Referees A. Abel T. Altenkirch A. Asperti P. Baillot G. Barthe M. Benke N. Benton U. Berger J. Chrzaszcz A. Compagnoni T. Coquand R. di Cosmo P. -L. Curien V. Danos R. Dyckho? T. Ehrhard C. Faggian C. Fuehrmann H. Geuvers J. Goubault P. de Groote R. Hasegawa H. Herbelin M. Hofmann G. Hutton B. Jay F. Joachimski J. B. Joinet A. J. Kfoury U. Dal Lago F. Lamarche H. Leiss T. Loew J. Longley P. Manoury S. Martini R. Matthes M. Mauny J.".
catalog extent "viii, 315 p. :".
catalog identifier "3540403329 (pbk. : acid-free paper)".
catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 2701".
catalog issued "2003".
catalog issued "2003.".
catalog language "eng".
catalog publisher "Berlin ; New York : Springer,".
catalog subject "511.3 21".
catalog subject "Computer science.".
catalog subject "Lambda calculus Congresses.".
catalog subject "Logic design.".
catalog subject "QA9.5 .I58 2001".
catalog tableOfContents "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.".
catalog title "Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings / Martin Hofmann (ed.).".
catalog type "Conference proceedings. fast".
catalog type "text".