Introduction

doi:10.1007/3-540-58085-9_69

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 806))

Included in the following conference series:

International Workshop on Types for Proofs and Programs

121 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Editor information

Henk Barendregt Tobias Nipkow

Rights and permissions

Reprints and permissions

Copyright information

About this paper

Cite this paper

(1994). Introduction. In: Barendregt, H., Nipkow, T. (eds) Types for Proofs and Programs. TYPES 1993. Lecture Notes in Computer Science, vol 806. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58085-9_69

Download citation

DOI: https://doi.org/10.1007/3-540-58085-9_69
Published: 02 June 2005
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58085-0
Online ISBN: 978-3-540-48440-0
eBook Packages: Springer Book Archive

Publish with us

Policies and ethics