Logic & Programming

I will give a talk at Kosta Došen's General Proof Theory seminar at the Serbian Academy of Sciences and Arts (February 24).

http://www.mi.sanu.ac.rs/seminars/seminar18.htm

Comment here: @danko@mamot.fr Follow using the Fediverse ID: @danko@blog.iaddg.net