Login / Signup

A Constructive Type System Based on Data Terms.

Hans-Joachim Goltz
Published in: JELIA (1992)
Keyphrases