×

Found 4 Documents (Results 1–4)

A weak HOAS approach to the POPLmark challenge. (English) Zbl 1464.68434

Kesner, Delia (ed.) et al., Proceedings of the seventh workshop on logical and semantic frameworks, with applications, Rio de Janeiro, Brazil, September 29–30, 2012. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 113, 109-124 (2013).
PDFBibTeX XMLCite
Full Text: arXiv Link

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software