×

zbMATH — the first resource for mathematics

Bruce, Kim B.

Compute Distance To:
Author ID: bruce.kim-b Recent zbMATH articles by "Bruce, Kim B."
Published as: Bruce, Kim B.; Bruce, Kim; Bruce, K.
External Links: MGP
Documents Indexed: 16 Publications since 1978

Publications by Year

Citations contained in zbMATH Open

11 Publications have been cited 95 times in 83 Documents Cited by Year
A modest model of records, inheritance, and bounded quantification. Zbl 0711.68072
Bruce, Kim B.; Longo, Giuseppe
20
1990
The semantics of second-order lambda calculus. Zbl 0714.68052
Bruce, Kim B.; Meyer, Albert R.; Mitchell, John C.
18
1990
A paradigmatic object-oriented programming language: Design, static typing and semantics. Zbl 0817.68037
Bruce, Kim B.
14
1994
Provable isomorphisms of types. Zbl 0763.03011
Bruce, Kim B.; Di Cosmo, Roberto; Longo, Giuseppe
12
1992
Model-theoretic forcing in logic with a generalized quantifier. Zbl 0436.03025
Bruce, Kim B.
7
1978
Comparing object encodings. Zbl 1045.68528
Bruce, Kim B.; Cardelli, Luca; Pierce, Benjamin C.
7
1999
Ideal models and some not so ideal problems in the model theory of L(Q). Zbl 0385.03029
Bruce, Kim B.
6
1978
A modest model of records, inheritance, and bounded quantification. Zbl 0837.68057
Bruce, Kim B.; Longo, Giuseppe
3
1994
Semantics-driven language design: Statically type-safe virtual types in object-oriented languages. Zbl 0924.68119
Bruce, K.; Vanderwaart, J.
3
1999
On combinatory algebras and their expansions. Zbl 0555.03006
Bruce, Kim; Longo, Giuseppe
3
1984
\(L_A(\exists)\). Zbl 0413.03024
Bruce, Kim; Keisler, H. J.
2
1979
Comparing object encodings. Zbl 1045.68528
Bruce, Kim B.; Cardelli, Luca; Pierce, Benjamin C.
7
1999
Semantics-driven language design: Statically type-safe virtual types in object-oriented languages. Zbl 0924.68119
Bruce, K.; Vanderwaart, J.
3
1999
A paradigmatic object-oriented programming language: Design, static typing and semantics. Zbl 0817.68037
Bruce, Kim B.
14
1994
A modest model of records, inheritance, and bounded quantification. Zbl 0837.68057
Bruce, Kim B.; Longo, Giuseppe
3
1994
Provable isomorphisms of types. Zbl 0763.03011
Bruce, Kim B.; Di Cosmo, Roberto; Longo, Giuseppe
12
1992
A modest model of records, inheritance, and bounded quantification. Zbl 0711.68072
Bruce, Kim B.; Longo, Giuseppe
20
1990
The semantics of second-order lambda calculus. Zbl 0714.68052
Bruce, Kim B.; Meyer, Albert R.; Mitchell, John C.
18
1990
On combinatory algebras and their expansions. Zbl 0555.03006
Bruce, Kim; Longo, Giuseppe
3
1984
\(L_A(\exists)\). Zbl 0413.03024
Bruce, Kim; Keisler, H. J.
2
1979
Model-theoretic forcing in logic with a generalized quantifier. Zbl 0436.03025
Bruce, Kim B.
7
1978
Ideal models and some not so ideal problems in the model theory of L(Q). Zbl 0385.03029
Bruce, Kim B.
6
1978
all top 5

Cited by 108 Authors

5 Bruce, Kim B.
4 Ghelli, Giorgio
4 Longo, Giuseppe
4 Pierce, Benjamin C.
3 Barbanera, Franco
3 Castagna, Giuseppe
3 Curien, Pierre-Louis
2 Bono, Viviana
2 Cardelli, Luca
2 Cardone, Felice
2 Dami, Laurent
2 de’Liguoro, Ugo
2 Di Cosmo, Roberto
2 Moggi, Eugenio
1 Alessi, Fabio
1 Antonelli, Gian Aldo
1 Bainbridge, E. S.
1 Balat, Vincent
1 Baldan, Paolo
1 Baldwin, John T.
1 Barendsen, Erik
1 Barwise, Kenneth Jon
1 Berardi, Stefano
1 Bezem, Marc
1 Bugliesi, Michele
1 Chemouil, David
1 Compagnoni, Adriana B.
1 Coppo, Mario
1 Dezani-Ciancaglini, Mariangiola
1 Došen, Kosta
1 Duggan, Dominic
1 Fiech, Adrian
1 Fiore, Marcelo P.
1 Freyd, Peter J.
1 Georgescu, George
1 Goguen, Healfdene
1 Harnik, Victor
1 Harper, Robert
1 Hasegawa, Ryu
1 He, Ziqiang
1 Hemerik, Cornelis
1 Hofmann, Martin
1 Igarashi, Atsushi
1 Jacobs, Bart
1 Jäger, Gerhard
1 Jaskelioff, Mauro
1 Johann, Patricia
1 Johnson, Jesse Werth
1 Kaufmann, Matt
1 Keisler, Howard Jerome
1 Kocsis, Zoltan A.
1 Kohlhase, Michael
1 Kreitz, Christoph
1 Lago, Joaquín Mateos
1 Laird, James D.
1 Lau, Kung-Kiu
1 Leavens, Gary T.
1 Lotfallah, Wafik Boulos
1 Makkai, Michael
1 Mancosu, Paolo
1 Margaria, Ines
1 Martini, Simone
1 Miller, Douglas E.
1 Mitchell, John C.
1 Narendran, Paliath
1 Ornaghi, Mario
1 Palsberg, Jens
1 Petrić, Zoran
1 Pfenning, Frank
1 Poll, Erik
1 Popescu, Andrei
1 Raffaetà, Alessandra
1 Rasga, João
1 Riecke, Jon G.
1 Rinat, Ran
1 Rittri, Mikael
1 Rodríguez-Artalejo, Mario
1 Roşu, Grigore
1 Rowe, Reuben N. S.
1 Saito, Chieri
1 Sakurai, Takafumi
1 Salvo, Ivano
1 Schmidt, David A.
1 Scott, Philip J.
1 Scowcroft, Philip
1 Sernadas, Cristina S.
1 Sgro, Joseph
1 Shelah, Saharon
1 Solov’ëv, Sergeĭ Vladimirovich
1 Statman, Richard
1 Steffen, Martin
1 Stone, Christopher A.
1 Studer, Thomas
1 Swan, Jerry
1 ten Eikelder, Huub M. M.
1 Thiemann, Peter J.
1 Tiuryn, Jerzy
1 Tsuiki, Hideki
1 Turner, David N.
1 van Bakel, Steffen
...and 8 more Authors

Citations by Year