Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Book
%1 citeulike:13764000
%A Hindley, J. Roger
%C Cambridge
%D 1997
%I Cambridge University Press
%K 03b15-higher-order-logic-type-theory
%R 10.1017/cbo9780511608865
%T Basic Simple Type Theory
%U http://dx.doi.org/10.1017/cbo9780511608865
%@ 9780511608865
@book{citeulike:13764000,
added-at = {2017-06-29T07:13:07.000+0200},
address = {Cambridge},
author = {Hindley, J. Roger},
biburl = {https://www.bibsonomy.org/bibtex/25924817ea4314838b13158c224eb063f/gdmcbain},
citeulike-article-id = {13764000},
citeulike-linkout-0 = {http://dx.doi.org/10.1017/cbo9780511608865},
doi = {10.1017/cbo9780511608865},
interhash = {ae2b5bc1259bb989c79a0f652a8ee85a},
intrahash = {5924817ea4314838b13158c224eb063f},
isbn = {9780511608865},
keywords = {03b15-higher-order-logic-type-theory},
posted-at = {2015-09-15 04:11:32},
priority = {2},
publisher = {Cambridge University Press},
timestamp = {2017-06-29T07:13:07.000+0200},
title = {{Basic Simple Type Theory}},
url = {http://dx.doi.org/10.1017/cbo9780511608865},
year = 1997
}