The following pages link to Kim B. Bruce (Q751292):
Displayed 17 items.
- The semantics of second-order lambda calculus (Q751294) (← links)
- On combinatory algebras and their expansions (Q760416) (← links)
- A modest model of records, inheritance, and bounded quantification (Q922718) (← links)
- Model constructions in stationary logic. II: Definable ultrapowers (Q1087538) (← links)
- Comparing object encodings. (Q1854318) (← links)
- (Q3216628) (← links)
- (Q3787444) (← links)
- Model-Theoretic Forcing in Logic With a Generalized Quantifier (Q3875907) (← links)
- Model constructions in stationary logic. Part I. Forcing (Q3936726) (← links)
- Provable isomorphisms of types (Q4017461) (← links)
- Ideal models and some not so ideal problems in the model theory of <i>L(Q)</i> (Q4165363) (← links)
- <i>L</i><sub><i>A</i></sub>(Ⅎ) (Q4200048) (← links)
- (Q4417617) (← links)
- A paradigmatic object-oriented programming language: Design, static typing and semantics (Q4764618) (← links)
- (Q4855338) (← links)
- An operational semantics for TOOPLE: A statically-typed object-oriented programming language (Q5890071) (← links)
- The equivalence of two semantic definitions for inheritance in object-oriented languages (Q6116566) (← links)