23. CSL 2009: Coimbra, Portugal

Invited Talks

Special Invited Talk to Commemorate the Centenary of Stephen Cole Kleene

Contributed Papers

Appendix

maintained by Schloss Dagstuhl LZI, founded at University of Trier