Collection Principles in Dependent Type Theory

Azcel, P and Gambino, N (2002) Collection Principles in Dependent Type Theory. In: Lecture Notes in Computer Science: TYPES 2000. International Workshop on Types for Proofs and Programs (TYPES) 2000, 08-12 Dec 2000, Durham, UK. Springer Verlag , pp. 1-23. ISBN 3-540-43287-6



Copyright, Publisher and Additional Information: © 2002, Springer-Verlag Berlin Heidelberg. This is an author produced version of a conference paper published in Lecture Notes in Computer Science: Types for Proofs and Programs. Uploaded in accordance with the publisher's self-archiving policy.
  • Published (online): 14 February 2002
  • Published: 14 February 2002
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 06 Sep 2019 14:49
Last Modified: 06 Sep 2019 14:49
Status: Published
Publisher: Springer Verlag

Share / Export