Reasoning about sequential functions via logical relations

Publisher Website

26 June 1992

book chapter
Published by Cambridge University Press (CUP)

p. 258-269
https://doi.org/10.1017/cbo9780511525902.015

Abstract

Applications of Categories in Computer Science - June 1992

Keywords

LOGIC

This publication has 0 references indexed in Scilit: