Program equivalence in functional metaprogramming via nominal Scott domains

Program equivalence in functional metaprogramming via nominal Scott domains

Bibliographic Details
Main Author: Lösch, Steffen Gerhard
Published: University of Cambridge 2015
Subjects:
004
Online Access:https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.708515

Internet

https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.708515

Similar Items