Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by JONATHAN P. SELDIN
On Lists and Other Abstract Data Types in the Calculus of Constructions
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Related publications
Induction Principles Formalized in the Calculus of Constructions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Algorithmic Specification Method of Abstract Data Types: An Overview
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Asymmetric Microarray Data Produces Gene Lists Highly Predictive of Research Literature on Multiple Cancer Types
BMC Bioinformatics
Biochemistry
Applied Mathematics
Computer Science Applications
Structural Biology
Molecular Biology
Types for the Ambient Calculus
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Fully Abstract Encodings of Λ-Calculus in HOcore Through Abstract Machines
A Value Transmission Method for Abstract Data Types
ACM Transactions on Programming Languages and Systems
Software
Proof-Irrelevance Out of Excluded-Middle and Choice in the Calculus of Constructions
Journal of Functional Programming
Software
An Abstract Model of Three-Dimensional Spatial Data Types
A Survey of Some Issues Concerning Abstract Data Types
