Consistency of the Predicative Calculus of Cumulative Inductive Construction (pCuIC)

Publikation: Working paperForskning

OriginalsprogUdefineret/Ukendt
StatusUdgivet - 1 jan. 2017

Se relationer på Aarhus Universitet Citationsformater

ID: 184256616