Login / Signup
Andre Knispel
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 2
Top Topics
Metadata
Ct Scans
Theoretical Basis
Finite State Machines
Top Venues
CoRR
ACT
</>
Publications
</>
Fabrizio Genovese
,
Andre Knispel
,
Joshua Fitzgerald
Mapping finite state machines to zk-SNARKS Using Category Theory.
CoRR
(2019)
Fabrizio Genovese
,
Alex Gryzlov
,
Jelle Herold
,
Andre Knispel
,
Marco Perone
,
Erik Post
,
André Videla
idris-ct: A Library to do Category Theory in Idris.
ACT
(2019)