Search




Research outputs

Confluence of untyped lambda calculus via simple types   [2001]

Ghilezan, Silvia ; Kunčak, Viktor

Filteri

Po tipu