A compact kernel for the calculus of inductive constructions
Gespeichert in:
Verfasser / Beitragende:
[A. Asperti, W. Ricciotti, C. Sacerdoti Coen, E. Tassi]
Ort, Verlag, Jahr:
2009
Enthalten in:
Sadhana, 34/1(2009-02-01), 71-144
Format:
Artikel (online)
Online Zugang: