Substitution, record types and subtyping in type theory, with applications to the theory of programming
| dc.contributor.author | Tasistro, Alvaro | en |
| dc.date.accessioned | 2008-08-11T10:06:01Z | |
| dc.date.available | 2008-08-11T10:06:01Z | |
| dc.date.issued | 1997 | en |
| dc.identifier.uri | http://hdl.handle.net/2077/14553 | |
| dc.title | Substitution, record types and subtyping in type theory, with applications to the theory of programming | en |
| dc.type | Text | en |
| dc.type.svep | Doctoral thesis | en |
| dc.gup.origin | Göteborgs universitet/University of Gothenburg | eng |
| dc.gup.department | Institutionen för datavetenskap | eng |
| dc.gup.department | Department of Computing Science | swe |
| dc.gup.defencedate | 1997-05-16 | en |
| dc.gup.dissdbid | 4513 | en |
| dc.gup.dissdb-fakultet | MNF |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||