Search for Author All Reviews
	Gilmore, Paul     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       A logic for category theory Gilmore P., Tsiknis G. Theoretical Computer Science 111(1-2): 211-252, 1993.  Type: Article An excellent proposal for a natural-deduction-based set-theoretic semantics for category theory is presented. In the natural deduction logic NaDSet, only joint denial (neither nor) operators ↓ and universal ...... Sep 1 1994     Logical foundations for programming semantics Gilmore P., Tsiknis G. Theoretical Computer Science 111(1-2): 253-290, 1993.  Type: Article NaDSet, or natural-deduction-based set theory, was developed in several other papers mostly by the first author. In NaDSet, only names of sets, not the sets themselves, may be members of sets; this feature is essential for the introdu...... Jul 1 1994
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy