On Lists and Other Abstract Data Types in the Calculus of Constructions

Mathematical Structures in Computer Science - United Kingdom
doi 10.1017/s096012959900300x
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

Induction Principles Formalized in the Calculus of Constructions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1987English

The Algorithmic Specification Method of Abstract Data Types: An Overview

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1986English

Asymmetric Microarray Data Produces Gene Lists Highly Predictive of Research Literature on Multiple Cancer Types

BMC Bioinformatics
BiochemistryApplied MathematicsComputer Science ApplicationsStructural BiologyMolecular Biology
2010English

Types for the Ambient Calculus

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2002English

Fully Abstract Encodings of Λ-Calculus in HOcore Through Abstract Machines

2017English

A Value Transmission Method for Abstract Data Types

ACM Transactions on Programming Languages and Systems
Software
1982English

Proof-Irrelevance Out of Excluded-Middle and Choice in the Calculus of Constructions

Journal of Functional Programming
Software
1996English

An Abstract Model of Three-Dimensional Spatial Data Types

2004English

A Survey of Some Issues Concerning Abstract Data Types

1974English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy