notation icon indicating copy to clipboard operation
notation copied to clipboard

Published 20 hours ago • verified publisher icon prathyvsh

Evaluate “A Structural and Nominal Syntax for Programs”

Open prathyvsh opened this issue 4 years ago • 0 comments

image

https://arxiv.org/abs/1702.01695

prathyvsh avatar Sep 24 '20 22:09 prathyvsh