HEAL DSpace
Mechanized Proofs of Type Safety for a Family of Lambda Calculi with References
DSpace/Manakin Repository
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Papakyriakou, M | en |
| dc.contributor.author | Papaspyrou, N | en |
| dc.date.accessioned | 2014-03-01T01:56:04Z | |
| dc.date.available | 2014-03-01T01:56:04Z | |
| dc.date.issued | 2007 | en |
| dc.identifier.uri | https://dspace.lib.ntua.gr/xmlui/handle/123456789/27943 | |
| dc.relation.uri | http://www.seas.upenn.edu/~sweirich/wmm/wmm07/programme/papaspyrou.pdf | en |
| dc.relation.uri | http://www.softlab.ntua.gr/~mpapakyr/pub/papers/linplain.pdf | en |
| dc.subject | Type Safety | en |
| dc.title | Mechanized Proofs of Type Safety for a Family of Lambda Calculi with References | en |
| heal.type | journalArticle | en |
| heal.publicationDate | 2007 | en |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||
