Kim B. Bruce

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The equivalence of two semantic definitions for inheritance in object-oriented languages Lecture Notes in Computer Science	2023-08-16	Paper
An operational semantics for TOOPLE: A statically-typed object-oriented programming language Lecture Notes in Computer Science	2023-04-28	Paper
scientific article; zbMATH DE number 1955915 (Why is no real title available?)	2003-07-29	Paper
Comparing object encodings. Information and Computation	2003-01-14	Paper
scientific article; zbMATH DE number 814793 (Why is no real title available?)	1996-04-16	Paper
A paradigmatic object-oriented programming language: Design, static typing and semantics Journal of Functional Programming	1995-05-04	Paper
Provable isomorphisms of types Mathematical Structures in Computer Science	1993-01-16	Paper
The semantics of second-order lambda calculus Information and Computation	1990-01-01	Paper
A modest model of records, inheritance, and bounded quantification Information and Computation	1990-01-01	Paper
scientific article; zbMATH DE number 4050952 (Why is no real title available?)	1988-01-01	Paper
Model constructions in stationary logic. II: Definable ultrapowers Notre Dame Journal of Formal Logic	1986-01-01	Paper
On combinatory algebras and their expansions Theoretical Computer Science	1984-01-01	Paper
scientific article; zbMATH DE number 3882403 (Why is no real title available?)	1984-01-01	Paper
Model constructions in stationary logic. Part I. Forcing Journal of Symbolic Logic	1980-01-01	Paper
L_A(Ⅎ) Journal of Symbolic Logic	1979-01-01	Paper
Model-Theoretic Forcing in Logic With a Generalized Quantifier Annals of Mathematical Logic	1978-01-01	Paper
Ideal models and some not so ideal problems in the model theory of L(Q) Journal of Symbolic Logic	1978-01-01	Paper

Research outcomes over time

This page was built for person: Kim B. Bruce