Author:Daniel Ranalter

Publications
Experiments with Choice in Dependently-Typed Higher-Order Logic Daniel Ranalter, Chad Brown and Cezary Kaliszyk In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning