Semantical analysis of higher-order abstract syntax

by Martin Hofmann
Citations:109 - 4 self