'Proof nets' diaporamas de présentation

Proof-nets and semantic applications

Proof-nets and semantic applications. Alain Lecomte ESSLLI2002. e+. t-. e-. t+. child. Semantic proof nets. child. x:e, child: e ?t |- child(x) : t hence : child: e?t |- ?x.child(x):e ?t. run :. e+. t-. x. e-. t+. ? x. child. run :. e+. t-. x. e-. t+. ? x. child.

816 views • 68 slides

304 views • 25 slides