Publikationen

Seite 3 von 3.

1. Dieter Hutter; Michael Kohlhase

   A Colored Version of the Lambda-Calculus

   Technical Report, Vol. SR-95-08, 1995.

• vorherige
• 1
• 1
• 2
• 3