BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × United Kingdom
Collaborated with:

Talks about:
implement (1) calculus (1) theorem (1) disguis (1) rewrit (1) recurs (1) prover (1) untyp (1) relat (1) equat (1)

Person: M. Randall Holmes

DBLP DBLP: Holmes:M=_Randall

Contributed to:

RTA 19951995
TLCA 19951995

Wrote 2 papers:

RTA-1995-Holmes #equation #proving #recursion #theorem
Disguising Recursively Chained Rewrite Rules as Equational Theorems, as Implemented in the Prover EFTTP Mark 2 (MRH), pp. 432–437.
TLCA-1995-Holmes #type system #λ-calculus
Untyped λ-Calculus with Relative Typing (MRH), pp. 235–248.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.