A New Machine-checked Proof of Strong Normalisation for Display Logic (2002)

Cached

Download Links

by Jeremy E. Dawson , Rajeev Goré
Venue:Electronic Notes in Theoretical Computer Science
Citations:6 - 2 self