Abubakar Hassan Kings College London, Uk abu.s.hassan@gmail
Documentos relacionados
Applied and Computational Category Theory
University Of British Columbia, Canada University Of Malta, Malta Dublin City University, Ireland
Leia maisEuropean Joint Conferences on Theory And Practice of Software
Frédéric Besson Frédéric Herbreteau Gabriel Kalyon Gabriele Taentzer Ganesan Ramalingam George Edwards George Kuan Gerald Luettgen German Puebla Ghassan Oreiby Gianfranco Ciardo Gianluigi Zavat...
Leia maisApplied and Computational Category Theory
Gilles Barthe Guillaume Brat Blaise Genest German Puebla Gabriel Kalyon George Kuan Gerald Luettgen John G. Morrisett Gregor Goessler Govindarajan Ramaswamy Ganesan Ramalingam Rüdiger Grammes Gün...
Leia mais