A Note on Monadic Curry System P

Jair Minoro Abe, Kazumi Nakamatsu, Fbio Romeu de Carvalho

Browse the full KES paper archive.