1987

2 references published this year.

A Categorical Programming Language
Tatsuya Hagino (1987)
The expressive theory of stacks
Samuel Kamin (1987) · Acta informatica