Finite Model Theory In The Simply Typed Lambda Calculus (1994)

by Gerd G. Hillebrand
Citations:8 - 5 self