Home
 

LFCS reports by Author: G

Galpin, Vashti Christina

Gardner, Philippa

Ghani, Neil

Gilmore, Stephen

Goguen, Healfdene

Goguen, Joseph A
  • A Study in the Foundations of Programming Methodology: Specifications, Institutions, Charters and Parchments
    R.Burstall and J.Goguen
    LFCS report ECS-LFCS-86-10
  • Some Fundamental Algebraic Tools for the Semantics of Computation - Part III: Indexed Categories
    A Tarlecki, R M Burstall and J A Goguen
    LFCS report ECS-LFCS-88-60
  • Some Fundamental Algebraic Tools for the Semantics of Computation. Part 3. Indexed Categories
    R. Burstall, J. Goguen and A. Tarlecki
    LFCS report ECS-LFCS-89-90
  • INSTITUTIONS: Abstract Model Theory for Specification and Programming
    R. Burstall and J. Goguen
    LFCS report ECS-LFCS-90-106

Goldberg, Leslie Ann

Goldberg, Paul W

Goossens, Kees G W

Gordon, Andrew

Gordon, Robert

Gore, Vivek

Griffin, T G

Groote, Jan Frisco

Gurr, Douglas

Previous | Index | Next