Inductive sets and families in Martin-Löf's type theory and their set-theoretic semantics
Journal article, 1991

Author

[Person a5d3cf9e-92e9-4c69-9fd7-00c604d06139 not found]

Programming Logic

Logical Frameworks

280-306

Subject Categories

Other Mathematics

More information

Created

10/6/2017