Yazar
r m burstall
6 cilt bulundu.
Cilt sonuçları
Co mputing with categories
R. M. Burstall · University of Edinburgh, Laboratory for Foundations of Computer Science
14 sayfa · 1986
Kategori yok
Inductively defined functions in functional programming languages
R. M. Burstall · University of Edinburgh, Laboratory for Foundations of Computer Science
12 sayfa · 1987
Kategori yok
A natural deduction treatment of operational semantics
R. M. Burstall · University of Edinburgh, Laboratory for Foundations of Computer Science
20 sayfa · 1988
Kategori yok
Programming in POP-2
R. M. Burstall · Department of Artificial Intelligence, University of Edinburgh
Sayfa sayısı yok · 1977
Kategori yok
Research in interactive theorem proving at Edinburgh University
R. M. Burstall · University of Edinburgh, Laboratory for Foundations of Computer Science
Sayfa sayısı yok · 1986
Kategori yok
Some fundamental algebraic tools for the semantics of computation part 3: Indesced Categories
R. M. Burstall · University of Edinburgh, Laboratory for Foundations in Computer Science
26 sayfa · 1989
Kategori yok