Form Reduction Systems and Reductions of Contracted Forms and Lambda-Terms (1988)

by Z Khasidashvili
Venue:Tbilisi State University