Computations in Higher Types

Beschreibung

Autor*in

J. Moldestad

Themen in »Computations in Higher Types«

Calc Calculation Rekursive Funktion computability theory computation object recursion types

Stimmen zu »Computations in Higher Types«

Details

Link teilen