×

Found 15 Documents (Results 1–15)

Tactics and parameters. (English) Zbl 1264.03042

Dahn, Ingo (ed.) et al., Proceedings of the workshop on mathematics, logic and computation (satellite event of ICALP 2003), Valencia, Spain, June 12–14, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 85, No. 7, 50-68 (2003).
MSC:  03B35 68T15
PDFBibTeX XMLCite
Full Text: DOI

Closure under alpha-conversion. (English) Zbl 1527.03013

Barendregt, Henk (ed.) et al., TYPES ’93. Types for proofs and programs. International workshop, Nijmegen, the Netherlands, May 24–28, 1993. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 806, 313-332 (1994).
MSC:  03B40
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software