Recursive definitions of monadic functions

 |  Alexander Krauss

In: Ana Bove, Ekaterina Komendantskaya, and Milad Niqui, editors, Workshop on Partiality and Recursion in Interactive Theorem Proving (PAR 2010) (Alexander Krauss) PDF

Alexander Krauss
Ein Beitrag von
Alexander Krauss

Alexander Krauss ist Business Unit Director bei QAware. Er verantwortet den technischen Erfolg von Projekten im Bereich der IT-Sicherheit, unter[...]

Mehr Informationen
Alexander
Chatbot
Schliessen