Semantics for classical AUTOMATH and related systems (1983)

by H Barendregt, A Rezus
Venue:Inform. and Control