## Finite Type Structures within Combinatory Algebras (1999)

by
Inge Bethke
,
For In Particular

Venue: | Annals of Pure and Applied Logic |

Citations: | 1 - 1 self |