Pinned Repositories
owls
Webpage for the Online Worldwide Seminar on Logic and Semantics
GoI-Visualiser
A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.
Research
TtT
A simulation tool of transducers generated by the Memoryful GoI framework.
koko-m's Repositories
koko-m/GoI-Visualiser
A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.
koko-m/TtT
A simulation tool of transducers generated by the Memoryful GoI framework.
koko-m/Research