A TYPE-FREE THEORY OF HALF-MONOTONE INDUCTIVE DEFINITIONS
From MaRDI portal
Publication:4853338
DOI10.1142/S0129054195000147zbMath0830.68115OpenAlexW2159037289MaRDI QIDQ4853338
Publication date: 29 October 1995
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0129054195000147
Related Items (2)
MARTIN-LÖF'S TYPE THEORY AS AN OPEN-ENDED FRAMEWORK ⋮ A general formulation of simultaneous inductive-recursive definitions in type theory
Uses Software
This page was built for publication: A TYPE-FREE THEORY OF HALF-MONOTONE INDUCTIVE DEFINITIONS
