Kategorie Articles

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

Fitting the topic

Kategorie News
Great Place to Work 2023 – Triple für QAware
Rahel Gölz
Kategorie
Kategorie News
Wir rollen das 49€ Ticket für unser Team aus!
Christian Kamm
Kategorie
Kategorie Podcasts
PRODcast Folge #14: FinTech-Produkte
Ekkehard Schmider
Kategorie
Kategorie Articles
QAware gestaltet die Zukunft mit modernen Cloud-Technologien
Michael Rohleder
Kategorie
Kategorie Lectures
Web-Frontend Entwicklung für Informatiker
Dr. Josef Adersberger
Kategorie
Kategorie Lectures
Verteilte Verarbeitung
Johannes Weigend
Kategorie