×

Found 8 Documents (Results 1–8)

Practical reflection for sequent logics. (English) Zbl 1278.68263

Momigliano, Alberto (ed.) et al., Proceedings of the first international workshop on logical frameworks and meta-languages: theory and practice (LFMTP 2006), Seattle, WA, USA, August 16, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 5, 79-94 (2007).
MSC:  68T15 03B70
PDFBibTeX XMLCite
Full Text: Link

Mechanized meta-reasoning using a hybrid HOAS/de Bruijn representation and reflection. (English) Zbl 1321.68194

Proceedings of the 11th ACM SIGPLAN international conference on functional programming, ICFP ’06, Portland, OR, USA, September 18–20, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-309-3). ACM SIGPLAN Notices 41, No. 9, 172-183 (2006).
MSC:  68N30 68N15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software