HEAL DSpace

Mechanized Proofs of Type Safety for a Family of Lambda Calculi with References

Αποθετήριο DSpace/Manakin

Εμφάνιση απλής εγγραφής

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


Αρχεία σε αυτό το τεκμήριο

Αρχεία Μέγεθος Μορφότυπο Προβολή

Δεν υπάρχουν αρχεία που σχετίζονται με αυτό το τεκμήριο.

Αυτό το τεκμήριο εμφανίζεται στην ακόλουθη συλλογή(ές)

Εμφάνιση απλής εγγραφής