| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Cube/ (Beweissystem Isabelle Version 2025-1©) Datei vom 16.11.2025 mit Größe 444 B |
|
Quelle ROOTSprache: Cobol |
|||||||||||||||
|
chapter Misc session Cube = Pure + description " Author: Tobias Nipkow Copyright 1992 University of Cambridge Barendregt's Lambda-Cube. NB: the formalization is not completely sound! It does not enforce distinctness of variable names in contexts! For more information about the Lambda-Cube, see H. Barendregt, Introduction to Generalised Type Systems, J. Functional Programming. " theories Example
¤ Dauer der Verarbeitung: 0.13 Sekunden (vorverarbeitet am 2026-04-26) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-05-26