×

Found 39 Documents (Results 1–39)

A modest model of records, inheritance, and bounded quantification. (English) Zbl 0837.68057

Gunter, Carl A. (ed.) et al., Theoretical aspects of object-oriented programming. Types, semantics, and language design. London: MIT Press. MIT Press Series in the Foundations of Computing. 151-196 (1994).
MSC:  68Q45 68Q55
PDFBibTeX XMLCite

Types as parameters. (English) Zbl 1497.68115

Gaudel, Marie-Claude (ed.) et al., TAPSOFT ’93: theory and practice of software development. 4th international joint conference CAAP/FASE, Orsay, France, April 13–17, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 668, 658-670 (1993).
PDFBibTeX XMLCite
Full Text: DOI

A semantics for \(\lambda\)&-early: A calculus with overloading and early binding. (English) Zbl 0797.68027

Bezem, Marc (ed.) et al., Typed Lambda calculi and applications. International conference, TLCA ’93, March 16-18, 1993, Utrecht, the Netherlands. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 664, 107-123 (1993).
MSC:  68N15 68Q55 03B40
PDFBibTeX XMLCite

Constructively equivalent propositions and isomorphisms of objects, or terms as natural transformations. (English) Zbl 0751.03027

Logic from computer science, Proc. Workshop, Berkeley/CA (USA) 1989, Publ., Math. Sci. Res. Inst. 21, 73-94 (1992).
Reviewer: G.Mints (Stanford)
PDFBibTeX XMLCite

Categories, types, and structures. An introduction to category theory for the working computer scientist. (English) Zbl 0783.18001

MIT Press Series in the Foundations of Computing. Cambridge, MA: The MIT Press. 325 p. (1991).
MSC:  18-01 03B40 68Q55
PDFBibTeX XMLCite

Coherence and valid isomorphism in closed categories. Applications of proof theory to category theory in a computer scientist perspective (notes for an invited lecture). (English) Zbl 1496.03134

Pitt, David H. (ed.) et al., Category theory and computer science. Manchester, UK, September 5–8, 1989. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 389, 1-4 (1989).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software