184 search results - page 14 / 37 » Towards Formalizing Categorical Models of Type Theory in Typ... |
TACS
1991
Springer
14 years 3 days ago
1991
Springer
System F is a well-known typed λ-calculus with polymorphic types, which provides a basis for polymorphic programming languages. We study an extension of F, called F<: (pronoun...
TLCA
2007
Springer
14 years 2 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
DAGSTUHL
2001
13 years 10 months ago
2001
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...
ICSE
1994
IEEE-ACM
14 years 20 days ago
1994
IEEE-ACM
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...
COGSR
2010
13 years 3 months ago
2010
We propose a formalization of C.G. Jung's theory of personality using a four-dimensional Hilbert-space for the representation of two qubits. The first qubit relates to Jung&#...