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: Holmes:M=_Randall
Contributed to:
1995
1995Wrote 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.