Send email Copy Email Address
2017

A relational logic for higher-order programs

Tags
-
Date published

2017

Date last modified

2018-02-23 09:08:43

Authors
  • Alejandro Aguirre
  • Gilles Barthe
  • Marco Gaboardi
  • Deepak Garg
  • Pierre-Yves Strub
Download