The Penn Lambda Calculator

1.0.12

 
Lizenz: Kostenlos
Preis:
$0
Bewertung:
Downloads: 4
Betriebssystem: Windows XP/2000/98
Datum: 2010-05-12
Größe: 417 KB
Herausgeber: Lucas Champollion
Verwandte Software:

Beschreibung für The Penn Lambda Calculator

The Penn Lambda Calculator Programm-Icon

Die Penn Lambda-Rechner ist eine interaktive, grafische, pädagogische Computerprogramm, dassSchülernatürlichen Sprache formale Semantik übentypisierten Lambda-Kalkül hilft. Version 1.0.12: Feste alphabetischer Varianten {x | ... } Notation.Das Laden gespeichert Übung Dateien,die neuen Ausdruck Typen verwenden.

Fügen Sie Ihre Meinung

Meinungen Benutzers