idris-ct: A Library to do Category Theory in Idris

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Genovese, Fabrizio, Gryzlov, Alex, Herold, Jelle, Knispel, Andre, Perone, Marco, Post, Erik, Videla, André
Format:	Tagungsbericht
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!