论文信息 - The use of justification systems for integrated semantics - 字舞流文

The use of justification systems for integrated semantics

N. G. de Bruijn | N. D. Bruijn

[1] Thierry Coquand,et al. The Calculus of Constructions , 1988, Inf. Comput..

[2] de Ng Dick Bruijn,et al. The mathematical language AUTOMATH, its usage, and some of its extensions , 1970 .