• Aucun résultat trouvé

Semantics of linear logic and higher-order model-checking

N/A
N/A
Info
Télécharger
Protected

Academic year: 2021

Partager "Semantics of linear logic and higher-order model-checking"

Copied!
300
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

Loading

Figure

Figure 3.1: β-reduction of infinite λ-terms.
Figure 3.3: Confluence of two nested reductions.
Figure 3.4: The simple type system for the λ-calculus (additive presentation).
Figure 3.5: The simple type system for the λ-calculus, in its multiplicative presentation.
+7

Références

Télécharger maintenant ( PDF - 300 Page - 2.73 MB )

Documents relatifs