Ambient Calculus and its Logic in the Calculus of Inductive Constructions
Ivan Scagnetto, Marino MiculanVolume:
70
Year:
2002
Language:
english
Pages:
20
DOI:
10.1016/s1571-0661(04)80507-3
File:
PDF, 240 KB
english, 2002