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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Kim B. Bruce