( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Well-Typed Languages are Sound.

, , и . CoRR, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Dale Adams

Aklilu Dalelo

Dale Rubbra

Dale Pearson

Jonathan Dale

 

Другие публикации лиц с тем же именем

A Proof Theory for Model Checking., и . J. Autom. Reason., 63 (4): 857-885 (2019)Logical Foundations for Open System Design.. ACM Comput. Surv., 28 (4es): 48 (1996)From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic., и . CSL, том 4646 из Lecture Notes in Computer Science, стр. 405-419. Springer, (2007)Uses of Higher-Order Unification for Implementing Program Transformers., и . ICLP/SLP, стр. 942-959. MIT Press, (1988)Well-Typed Languages are Sound., , и . CoRR, (2016)A two-level logic approach to reasoning about computations, , и . CoRR, (2009)Programming with Higher-Order Logic., и . Cambridge University Press, (2012)A Meta-Logic for Functional Programming., и . META, стр. 453-476. MIT Press, (1988)A Survey of the Proof-Theoretic Foundations of Logic Programming.. Theory Pract. Log. Program., 22 (6): 859-904 (2022)Unification Under a Mixed Prefix.. J. Symb. Comput., 14 (4): 321-358 (1992)