Collection Principles in Dependent Type Theory

Azcel, P and Gambino, N orcid.org/0000-0002-4257-3590 (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

Abstract

Metadata

Authors/Creators:
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.
Dates:
  • Published: 14 February 2002
  • Published (online): 14 February 2002
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Maths and 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

Statistics