Search results
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 27-44
Journal of Automated Reasoning > 2015 > 55 > 3 > 269-284
Annals of Pure and Applied Logic > 2013 > 164 > 6 > 618-650
Fundamenta Informaticae > 2012 > Vol. 121, nr 1/4 > 1-41
Annals of Pure and Applied Logic > 2010 > 161 > 11 > 1400-1430
Annals of Pure and Applied Logic > 2010 > 161 > 11 > 1367-1378
Theoretical Computer Science > 2009 > 410 > 46 > 4747-4768
Theoretical Computer Science > 2008 > 398 > 1-3 > 114-128
Annals of Pure and Applied Logic > 2008 > 153 > 1-3 > 38-65