The Vertices

	Un-Typed		Typed
Lambda		L		TL	Logics
Combinatory	L		TL		Logics
Lambda		c		Tc	Calculi
Combinatory	c		Tc		Calculi
	Un-Typed		Typed

home

©

RBJ

created 1995/11/27 modified 1997/4/22