Skip to content

A functional language for describing reversible logic.

Michael Kirkedal Thomsen

VenueCFDL
Year2012
ProceedingsFDL

Browse the full FDL paper archive.