Results 1 
4 of
4
Programming with Intersection Types and Bounded Polymorphism
, 1991
"... representing the official policies, either expressed or implied, of the U.S. Government. ..."
Abstract

Cited by 66 (4 self)
 Add to MetaCart
representing the official policies, either expressed or implied, of the U.S. Government.
Elements of Basic Category Theory
, 1996
"... Category theory provides an elegant and powerful means of expressing relationships across a wide area of mathematics. But further than this it has had a considerable impact on the conceptual basis both of mathematics and many parts of theoretical computer science. Important connections in computer s ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
Category theory provides an elegant and powerful means of expressing relationships across a wide area of mathematics. But further than this it has had a considerable impact on the conceptual basis both of mathematics and many parts of theoretical computer science. Important connections in computer science include the design of both functional and imperative programming languages, semantic models of programming languages, semantics of concurrency, specification and development of algorithms, type theory and polymorphism, specification languages, algebraic semantics, constructive logic and automata theory. The purpose of this text is to provide a soft stairway to this infectious and attractive field of mathematics. We provide here a careful and detailed explanation of "basic elements", or more precisely, from the elementary definitions to adjoint situations. The general approach used here is to provide a careful motivation for the majority of constructions as well as a detailed presentat...
Category Theory and the SimplyTyped lambdaCalculus
, 1996
"... This report deals with the question on how to provide a categorical model for the simplytyped calculus. We first introduce cartesian closed categories and work in detail a number of results concerning this construction. Next, we present the basic concepts related with the typed calculus, i.e., co ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
This report deals with the question on how to provide a categorical model for the simplytyped calculus. We first introduce cartesian closed categories and work in detail a number of results concerning this construction. Next, we present the basic concepts related with the typed calculus, i.e., concrete syntax for terms, occurrence of variables, context substitution and equivalence of terms. Then we present the typing rules and an equational proof system together with reduction rules that model the execution of expressions (programs). The chapter ends with the presentation of a categorical semantics for the calculus and a soundness proof for the equational proof system. The main technical result of this proof is the substitution lemma, which says, basically, that the (operational) concept of substitution can be understood (algebraically) as a composition of two suitable morphisms in a (cartesian closed) category. Contents 1 Cartesian closed categories 2 1.1 Exponentials . . . . ....
Bibliography for An Algebraic Study of Modularity in Logic Programming
, 1999
"... Algebraic Institutions. Theoretical Computer Science 37 (1985) 269304. [Tar86] A. Tarlecki. Bits and pieces of the theory of institutions. Proceedings of Summer Workshop on Category Theory an Computer Programming (D. Pitt, S. Abramsky, A. Poign, D. Rydehard eds.), LNCS 240:334360, Berlin, 1986. S ..."
Abstract
 Add to MetaCart
Algebraic Institutions. Theoretical Computer Science 37 (1985) 269304. [Tar86] A. Tarlecki. Bits and pieces of the theory of institutions. Proceedings of Summer Workshop on Category Theory an Computer Programming (D. Pitt, S. Abramsky, A. Poign, D. Rydehard eds.), LNCS 240:334360, Berlin, 1986. SpringerVerlag. [TD88a] D. van Dalen, Troelstra. Constructivism in mathematics: an Introduction, vol.1. Elsevier Science, NorthHolland, (1988). [TD88b] D. van Dalen, Troelstra. Constructivity in mathematics: an Introduction, vol.2. Elsevier Science, NorthHolland, (1988). [Tro77] A. S. Troelstra. Aspects of Constructive Mathematics. Handbook of Mathematical Logic. 9731090. (J. Barwise ed.) NorthHolland Publishing Company. 1977. [VDD97] S.Verbaeten, M. Denecker, D. De Schreye. Compositionality of normal open logic programs. In Proc. of ILPS'97, 1997. [Wall93] M. Wallace. Tight, Consistent, and Computable Completions for Unrestricted Logic Programs. Journal of Logic Programming 1993:15...