Towards a Theory of Type Structure. Reynolds, J. C. In Programming Symposium, Proceedings Colloque Sur La Programmation, pages 408–423, Berlin, Heidelberg, April, 1974. Springer-Verlag. Publisher: Springer-Verlag ISBN: 3-540-06859-7 Citation Key Alias: reynolds1974Paper bibtex @inproceedings{reynolds_towards_1974,
address = {Berlin, Heidelberg},
title = {Towards a {Theory} of {Type} {Structure}},
isbn = {978-3-540-06859-4},
url = {http://dl.acm.org/citation.cfm?id=647323.721503},
urldate = {2019-09-24},
booktitle = {Programming {Symposium}, {Proceedings} {Colloque} {Sur} {La} {Programmation}},
publisher = {Springer-Verlag},
author = {Reynolds, John C.},
month = apr,
year = {1974},
note = {Publisher: Springer-Verlag
ISBN: 3-540-06859-7
Citation Key Alias: reynolds1974},
pages = {408--423}
}
Downloads: 0
{"_id":"Ft4rmkKDw9HBdhKxS","bibbaseid":"reynolds-towardsatheoryoftypestructure-1974","authorIDs":[],"author_short":["Reynolds, J. C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Berlin, Heidelberg","title":"Towards a Theory of Type Structure","isbn":"978-3-540-06859-4","url":"http://dl.acm.org/citation.cfm?id=647323.721503","urldate":"2019-09-24","booktitle":"Programming Symposium, Proceedings Colloque Sur La Programmation","publisher":"Springer-Verlag","author":[{"propositions":[],"lastnames":["Reynolds"],"firstnames":["John","C."],"suffixes":[]}],"month":"April","year":"1974","note":"Publisher: Springer-Verlag ISBN: 3-540-06859-7 Citation Key Alias: reynolds1974","pages":"408–423","bibtex":"@inproceedings{reynolds_towards_1974,\n\taddress = {Berlin, Heidelberg},\n\ttitle = {Towards a {Theory} of {Type} {Structure}},\n\tisbn = {978-3-540-06859-4},\n\turl = {http://dl.acm.org/citation.cfm?id=647323.721503},\n\turldate = {2019-09-24},\n\tbooktitle = {Programming {Symposium}, {Proceedings} {Colloque} {Sur} {La} {Programmation}},\n\tpublisher = {Springer-Verlag},\n\tauthor = {Reynolds, John C.},\n\tmonth = apr,\n\tyear = {1974},\n\tnote = {Publisher: Springer-Verlag\nISBN: 3-540-06859-7\nCitation Key Alias: reynolds1974},\n\tpages = {408--423}\n}\n\n","author_short":["Reynolds, J. C."],"key":"reynolds_towards_1974","id":"reynolds_towards_1974","bibbaseid":"reynolds-towardsatheoryoftypestructure-1974","role":"author","urls":{"Paper":"http://dl.acm.org/citation.cfm?id=647323.721503"},"downloads":0},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/k4rtik","creationDate":"2020-05-31T17:07:22.817Z","downloads":0,"keywords":[],"search_terms":["towards","theory","type","structure","reynolds"],"title":"Towards a Theory of Type Structure","year":1974,"dataSources":["Z5Dp3qAJiMzxtvKMq"]}