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 /

SemanticsOfProgrammingLanguagesInAgda

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