TU Darmstadt / ULB / TUbiblio

Simple Dependent Types: Concord

Jolly, Paul ; Drossopoulou, Sophia ; Anderson, Christopher ; Ostermann, Klaus (2004):
Simple Dependent Types: Concord.
[Other]

Item Type: Other
Erschienen: 2004
Creators: Jolly, Paul ; Drossopoulou, Sophia ; Anderson, Christopher ; Ostermann, Klaus
Title: Simple Dependent Types: Concord
Language: German
Divisions: 20 Department of Computer Science
Date Deposited: 31 Dec 2016 12:01
Identification Number: Jolly04Simple
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details