On lists and other abstract data types in the calculus of constructions

DOI10.1017/S096012959900300XzbMath0956.68089OpenAlexW2009343859MaRDI QIDQ4487272

Jonathan P. Seldin

Publication date: 21 June 2000

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s096012959900300x

zbMATH Keywords

abstract data type

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (3)

Interpreting HOL in the calculus of constructions ⋮ Variants of the basic calculus of constructions ⋮ Type Theories from Barendregt’s Cube for Theorem Provers

This page was built for publication: On lists and other abstract data types in the calculus of constructions