- Step-Indexed Biorthogonality: a Tutorial Example
2010/01/01 by Andrew M. Pitts, Pitts, Andrew M. · 1 citation
Computer Science · #Advanced Database Systems and Queries #Biorthogonality #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #logical relations #operational semantics #step-indexing