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 at University of Trier