Hybrid Partial-Total Type Theory (1995)

Cached

Download Links

by Scott Smith
Citations:5 - 0 self

Active Bibliography

7 Partial computations in constructive type theory – Scott F. Smith - 1991
12 Reasoning About Functional Programs in Nuprl – Douglas J. Howe - 1993
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
Reflective Semantics of Constructive Type Theory – Scott F. Smith - 1991
48 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
29 General recursion via coinductive types – Venanzio Capretta
18 From Operational to Denotational Semantics – Scott Smith - 1989
A Type of Partial Recursive Functions – Ana Bove, Venanzio Capretta
11 Computational Complexity and Induction for Partial Computable Functions in Type Theory – Robert L. Constable, Karl Crary - 1999
An Abstract Program Generation Logic – David A. Plaisted - 1994
2 ATS/LF: a type system for constructing proofs as total functional programs – Hongwei Xi - 2004
20 Computational Foundations of Basic Recursive Function Theory – Robert L. Constable, Scott Fraser Smith - 1988
24 Nested General Recursion and Partiality in Type Theory – Ana Bove, Venanzio Capretta - 2000
5 Programming Language Semantics in Foundational Type Theory – K. Crary - 1996
4 A Predicative Type-Theoretic Interpretation of Objects – Jason J. Hickey - 1997
1 On the Proof Theory of Applicative Theories – Thomas Adrian Strahm - 1996
The Coq Proof Assistant - Reference Manual V 5.10 – Cristina Cornes, Judicaël Courant, Jean-Christophe Filliâtre, Gérard Huet, Chetan Murthy, César Muñoz, Catherine Parent, Amokrane Saibi Benjamin Werner, Calcul Symbolique, Pascal Manoury, Pascal Manoury, Amokrane Saibi, Benjamin Werner, Projet Coq - 1995
2 The Coq Proof Assistant - Reference Manual Version 6.1 – Jean-Christophe Filliâtre, Hugo Herbelin, Bruno Barras, Bruno Barras, Samuel Boutin, Eduardo Giménez, Samuel Boutin, Gérard Huet, César Muñoz, Cristina Cornes, Cristina Cornes, Judicaël Courant, Judicael Courant, Chetan Murthy, Chetan Murthy, Catherine Parent, Catherine Parent, Christine Paulin-mohring, Christine Paulin-mohring, Amokrane Saibi, Amokrane Saibi, Benjamin Werner, Benjamin Werner - 1997
4 A First Order Logic of Effects – Ian A. Mason - 1996