About: Θεωρία τύπων

An Entity of Type: Thing, from Named Graph: http://el.dbpedia.org, within Data Space: el.dbpedia.org

Property	Value
dbo:wikiPageExternalLink	http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ ftp://ftp.cs.cornell.edu/pub/nuprl/doc/book.ps.gz https://web.archive.org/web/20080410185229/http:/citeseer.ist.psu.edu/cardelli97type.html https://web.archive.org/web/20110607234927/http:/www.iwu.edu/~htiede/papers/pdf/jolli-review.pdf https://web.archive.org/web/20120227104114/http:/www.nuprl.org/documents/constable/naive.pdf http://citeseer.ist.psu.edu/cardelli97type.html http://plato.stanford.edu/entries/type-theory-church/ http://plato.stanford.edu/entries/type-theory/ http://www.cs.chalmers.se/Cs/Research/Logic/Types/tutorials.html http://www.cs.chalmers.se/Cs/Research/Logic/TypesSS05/program.html http://www.cs.cornell.edu/Info/Projects/NuPrl/book/node31.html http://www.cs.ru.nl/B.Jacobs/CLT/bookinfo.html
dbo:wikiPageID	247155 (xsd:integer)
dbo:wikiPageLength	35825 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	9775258 (xsd:integer)
prop-el:date	2008-04-10 (xsd:date)
prop-el:url	https://web.archive.org/web/20080410185229/http:/citeseer.ist.psu.edu/cardelli97type.html
prop-el:wikiPageUsesTemplate	dbpedia-el:Πρότυπο:Cite_book dbpedia-el:Πρότυπο:Webarchive dbpedia-el:Πρότυπο:Απόσπασμα dbpedia-el:Πρότυπο:Κύριο dbpedia-el:Πρότυπο:Πληροφορική-επέκταση
dct:subject	dbpedia-el:Κατηγορία:Θεωρία_τύπων dbpedia-el:Κατηγορία:Ιεραρχία
rdfs:label	Θεωρία τύπων (el) Θεωρία τύπων (el)
owl:sameAs	freebase:Θεωρία τύπων
prov:wasDerivedFrom	wikipedia-el:Θεωρία_τύπων?oldid=9775258&ns=0
foaf:isPrimaryTopicOf	wikipedia-el:Θεωρία_τύπων
is foaf:primaryTopic of	wikipedia-el:Θεωρία_τύπων