Source
Abstract
Identifiers
journal ISSN : | 2449-836X , 0138-0680 |
DOI | 10.18778/0138-0680.48.4.02 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] S. L. Bloom and R. Suszko, Investigations into the sentential calculus with identity, Notre Dame Journal of Formal Logic, Vol. 13, No. 3 (1972), pp. 289–308. http://dx.doi.org/10.1305/ndjfl/1093890617
-
[2] J. G. Granström, Treatise on intuitionistic type theory, Springer Science & Business Media, Dordrecht, 2011. http://dx.doi.org/10.1007/978-94-007-1736-7
-
[3]J. R. Hindley, Basic simple type theory, Cambridge University Press, Cambridge, 1997. https://doi.org/10.1017/CBO9780511608865