Browse/search for people

Publication - Dr Steven Ramsay

    Refinement Types and Higher-Order Constrained Horn Clauses

    Extended Abstract

    Citation

    Ong, L & Ramsay, S, 2017, ‘Refinement Types and Higher-Order Constrained Horn Clauses: Extended Abstract’. in: EPTCS 258 Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types. Open Publishing Association

    Full details in the University publications repository