A TYPE-FREE THEORY OF HALF-MONOTONE INDUCTIVE DEFINITIONS
From MaRDI portal
Publication:4853338
DOI10.1142/S0129054195000147zbMath0830.68115MaRDI 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
68T27: Logic in artificial intelligence
Related Items
A general formulation of simultaneous inductive-recursive definitions in type theory, MARTIN-LÖF'S TYPE THEORY AS AN OPEN-ENDED FRAMEWORK
Uses Software