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

by Gerd G. Hillebrand
Citations:9 - 5 self