Pages that link to "Item:Q4853338"

The following pages link to A TYPE-FREE THEORY OF HALF-MONOTONE INDUCTIVE DEFINITIONS (Q4853338):

Displaying 2 items.

• A general formulation of simultaneous inductive-recursive definitions in type theory (Q4508246) (← links)
• MARTIN-LÖF'S TYPE THEORY AS AN OPEN-ENDED FRAMEWORK (Q5249247) (← links)