Infinite objects in type theory

Publisher Website

1 January 1994

book chapter
Published by Springer Nature

p. 62-78
https://doi.org/10.1007/3-540-58085-9_72

Abstract

No abstract available

Keywords

This publication has 12 references indexed in Scilit:

Inductive families
Formal Aspects of Computing, 1994
Inductive definitions, semantics and abstract interpretations
Published by Association for Computing Machinery (ACM) ,1992
Co-induction in relational semantics
Theoretical Computer Science, 1991
Mathematics of infinity
Lecture Notes in Computer Science, 1990
On the syntax of infinite objects: an extension of Martin-Löf's theory of expressions
Lecture Notes in Computer Science, 1990
On the productivity of recursive list definitions
ACM Transactions on Programming Languages and Systems, 1989
An intensional characterization of the largest bisimulation
Theoretical Computer Science, 1987
An Introduction to Inductive Definitions
Published by Elsevier ,1977
Constructive definition of certain analytic sets of numbers
The Journal of Symbolic Logic, 1959
Logical reflection and formalism
The Journal of Symbolic Logic, 1958