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

by
Gerd G. Hillebrand

Citations: | 9 - 5 self |

by
Gerd G. Hillebrand

Citations: | 9 - 5 self |