×

Found 27 Documents (Results 1–27)

Separation and renaming in nominal sets. (English) Zbl 07650844

Fernández, Maribel (ed.) et al., 28th EACSL annual conference on computer science logic, CSL 2020, Barcelona, Spain, January 13–16, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 152, Article 31, 17 p. (2020).
MSC:  68-XX 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

A certified functional nominal C-unification algorithm. (English) Zbl 1502.68145

Gabbrielli, Maurizio (ed.), Logic-based program synthesis and transformation. 29th international symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12042, 123-138 (2020).
MSC:  68Q42 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Residual nominal automata. (English) Zbl 07559500

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 44, 21 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Strong normalization for the simply-typed lambda calculus in constructive type theory using Agda. (English) Zbl 1498.03044

Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 351, 187-203 (2020).
MSC:  03B40 03F05
PDFBibTeX XMLCite
Full Text: DOI

On solving nominal disunification constraints. (English) Zbl 1495.03048

Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 348, 3-22 (2020).
MSC:  03B70 03B40 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 3

Main Field

all top 3

Software