Treffer: Type-logical syntax
Titel:
Type-logical syntax / Yusuke Kubota, Robert D. Levine
Beteiligt:
Veröffentlicht:
Cambridge, Massachusetts : The MIT Press, 2016
Vertrieb:
Cambridge, Massachusetts : MIT Press
Umfang:
1 online resource.
Format:
Sprache:
Englisch
ISBN:
9780262360807