×

Found 76 Documents (Results 1–76)

100
MathJax

Indexed and fibred structures for Hoare logic. (English) Zbl 07297795

Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 348, 125-145 (2020).
MSC:  03B70 03G30
PDF BibTeX XML Cite
Full Text: DOI

Closed Freyd- and \(\kappa\)-categories. (English) Zbl 0938.03026

Wiedermann, Jiří (ed.) et al., Automata, languages and programming. 26th international colloquium, ICALP ‘99. Prague, Czech Republic, July 11-15, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1644, 625-634 (1999).
PDF BibTeX XML Cite

Environments, continuation semantics and indexed categories. (English) Zbl 0882.18007

Abadi, Martín (ed.) et al., Theoretical aspects of computer software. 3rd international symposium, TACS ’97. Sendai, Japan, September 23–26, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1281, 391-414 (1997).
MSC:  18D10 68Q55
PDF BibTeX XML Cite

Simply typed and untyped lambda calculus revisited. (English) Zbl 0792.03007

Fourman, M. P. (ed.) et al., Applications of categories in computer science. Proceedings of the LMS symposium, held at the University of Durham, England, UK, from 20 to 30 July, 1991. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 177, 119-142 (1992).
MSC:  03B40 03G30
PDF BibTeX XML Cite

Relational databases and indexed categories. (English) Zbl 0801.68041

Seely, R. A. G. (ed.), Category theory 1991. Proceedings of an international summer category theory meeting, held in Montréal, Québec, Canada, June 23-30, 1991. Providence, RI: American Mathematical Society. CMS Conf. Proc. 13, 391-407 (1992).
MSC:  68P15 18C20 18D30
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software