Back to the 1987 catalog

PhD · 1987

Keitaro Yukawa

Amalgamating Functional and Relational Programming Through the Use of Equality Axioms

Year

1987

Academic unit

Computer Science

Surname

Yukawa

Supervisor

Maarten H. van Emden