Alban Ponse     UvA homepage

UvA-section and address         UvA-Science search               Short-circuit logic       Luctor Ponse

• Selected publications and technical reports
• The Journal of Logic and Algebraic Programming
• Education 2011/2012
• Handbook of Process Algebra
• IFIP WG 1.8: Concurrency Theory