Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010, Edinburgh, UK, July 15, 2010

Ekaterina Komendantskaya, Ana Bove, Milad Niqui, editors, Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010, Edinburgh, UK, July 15, 2010. Volume 5 of EPiC Series, EasyChair, 2012. [doi]

Conference: itp2012

Editors

Ekaterina Komendantskaya

This author has not been identified. Look up 'Ekaterina Komendantskaya' in Google

Ana Bove

This author has not been identified. Look up 'Ana Bove' in Google

Milad Niqui

This author has not been identified. Look up 'Milad Niqui' in Google