UP

The Lambda-SKI Vertices

 
Un-Typed
Typed
 
Lambda   LambdaL   TLambdaL Logics
Combinatory L   TL  
Lambda   Lambdac   TLambdac Calculi
Combinatory c   Tc  
 
Un-Typed
Typed
 


up home © RBJ created 1995/11/27 modified 1997/4/22