Searching for authors named "Rob Nederpelt" – sorted by Relevance.
23 documents found, showing 1 through 10.
Next 10 →
-
Refining Reduction in the lambda calculus
- …, Scotland email: fairouz@(email omitted); and Rob Nederpelt Department of Mathematics and Computing…
- Add To MetaCart
-
Dijkstra-Scholten predicate calculus: concepts and misconceptions
- …Dijkstra-Scholten predicate calculus: concepts and misconceptions Lex Bijlsma and Rob Nederpelt…
- Cited by 1 (0 self) – Add To MetaCart
-
A unified approach to Type Theory through a refined λ-calculus
- … of Glasgow Glasgow G12 8QQ, Scotland email: fairouz@(email omitted); and Rob Nederpelt Department…
- Cited by 14 (13 self) – Add To MetaCart
-
Canonical typing and Π-conversion in the Barendregt Cube
- … Glasgow G12 8QQ, Scotland email: fairouz@(email omitted); and Rob Nederpelt Department of Mathematics…
- Cited by 3 (3 self) – Add To MetaCart
-
A Useful λ-Notation
- … University of Glasgow Glasgow G12 8QQ, Scotland email: fairouz@(email omitted); and Rob Nederpelt…
- Cited by 1 (0 self) – Add To MetaCart
-
Rewriting for Fitch style natural deductions
- …Rewriting for Fitch style natural deductions Herman Geuvers, Rob Nederpelt Nijmegen University…
- Cited by 3 (0 self) – Add To MetaCart
-
Canonical typing and Π-conversion
- … Lilybank Gardens University of Glasgow Glasgow G12 8QQ, Scotland email: fairouz@(email omitted); and Rob…
- Cited by 3 (3 self) – Add To MetaCart
-
An Abstract Syntax for a Formal Language of Mathematics
- …An abstract syntax for a formal language of mathematics Rob Nederpelt 1 and Fairouz Kamareddine…
- Cited by 1 (0 self) – Add To MetaCart
-
A Derivation System for a Formal Language of Mathematics
- …A derivation system for a formal language of mathematics Fairouz Kamareddine 1 and Rob Nederpelt…
- Cited by 1 (1 self) – Add To MetaCart
-
On Stepwise Explicit Substitution
- … Lilybank Gardens, Glasgow G12 8QQ, Scotland and ROB NEDERPELT Department of Mathematics and Computing…
- Cited by 38 (27 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
