Search results for: Jeremy Gibbons
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P2) > 921-930
Lecture Notes in Computer Science > Algebraic and Coalgebraic Methods in the Mathematics of Program Construction > 151-203
Lecture Notes in Computer Science > Theory and Practice of Model Transformations > Model Transformations Supporting Concurrency and Time > 76-90
Lecture Notes in Computer Science > Algebraic and Coalgebraic Methods in the Mathematics of Program Construction > 282-309
Lecture Notes in Computer Science > Distributed Computing and Internet Technology > Section 1 – Invited Papers > 40-54
Lecture Notes in Computer Science > Mathematics of Program Construction > Contributed Papers > 142-168
Lecture Notes in Computer Science > Mathematics of Program Construction > Contributed Talks > 397-425
Lecture Notes in Computer Science > Mathematics of Program Construction > Contributed Papers > 162-179