Paths in the lambda-calculus - Three years of communications without understanding (1994)

by A. Asperti , C. Laneve , V. Danos , L. Regnier
Citations:4 - 0 self