Recent Changes - Search:

CSE dept.

This site contains wiki-pages for the department of computer science and engineering at Chalmers and GU.

edit SideBar

CS /


Semantics of programming languages in Agda (a la Bertot in Coq).

contact person: Ana Bove

Follow this link for information about this project.

Edit - History - Print - Recent Changes - Search
Page last modified on December 01, 2008, at 03:24 PM