Una extension del lamda-calculo para la modelizacion de procesos concurrentes.

Tesis doctoral de Oliver Villarroya Francisco Javier El -calculo es una teoria sin tipos que interpreta las funciones como reglas, […]

, , , , ,