Login / Signup

Encoding Agda Programs Using Rewriting.

Guillaume Genestier
Published in: FSCD (2020)
Keyphrases