Abstraction and computation type theory, algebraic structures, and recursive functions

Nijmegen, Kath. Univ., Diss., 2002

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Capretta, Venanzio
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Enschede 2002
Schlagworte:	Konstruktive Mathematik > Funktionale Programmierung > Typentheorie > Algebraische Struktur > Rekursive Funktion
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!