Kim B. Bruce

Available identifiers

zbMath Open bruce.kim-bMaRDI QIDQ751292

List of research outcomes

Publication	Date of Publication	Type
The equivalence of two semantic definitions for inheritance in object-oriented languages	2023-08-16	Paper
An operational semantics for TOOPLE: A statically-typed object-oriented programming language	2023-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q4417617	2003-07-29	Paper
Comparing object encodings.	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4855338	1996-04-16	Paper
A paradigmatic object-oriented programming language: Design, static typing and semantics	1995-05-04	Paper
Provable isomorphisms of types	1993-01-16	Paper
The semantics of second-order lambda calculus	1990-01-01	Paper
A modest model of records, inheritance, and bounded quantification	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3787444	1988-01-01	Paper
Model constructions in stationary logic. II: Definable ultrapowers	1986-01-01	Paper
On combinatory algebras and their expansions	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3216628	1984-01-01	Paper
Model constructions in stationary logic. Part I. Forcing	1980-01-01	Paper
LA(Ⅎ)	1979-01-01	Paper
Model-Theoretic Forcing in Logic With a Generalized Quantifier	1978-01-01	Paper
Ideal models and some not so ideal problems in the model theory of L(Q)	1978-01-01	Paper

Research outcomes over time

This page was built for person: Kim B. Bruce