On introducting the high order functions in ABEL

Autor:	Dahl, Ole-Johan, Kristoffersen, Bjørn
Databáze:	NORA (Norwegian Open Research Archive)
Externí odkaz:	http://hdl.handle.net/10852/9575 https://www.duo.uio.no/bitstream/handle/10852/9575/1/Dahl-1.pdf Zobrazit plný text záznamu