Searching for authors named Fairouz Kamareddine – sorted by Relevance.
70 documents found, showing 1 through 10.
Next 10 →
-
lambda-Terms, Logic, Determiners and Quantifiers
- …(1), 79-103, 1992 Fairouz Kamareddine University of Glasgow Department of Computing Sc 17 Lilybank…
- Add To MetaCart
-
Generalised Beta-Reduction and Explicit Substitutions
- … Languages: Implementations, Logics and Programs, PLILP96, LNCS 1140, pages 378-392 ? Fairouz Kamareddine…
- Add To MetaCart
-
Postponement, Conservation and Preservation of Strong Normalisation for Generalised Reduction
- … Fairouz Kamareddine Abstract Postponement of K -contractions and the conservation theorem do not hold…
- Add To MetaCart
-
Extending a lambda-calculus with Explicit Substitution which Preserves Strong Normalisation into a Confluent Calculus on Open Terms
- … Calculus on Open Terms y Fairouz Kamareddine and Alejandro R'ios Department of Computing Science, 17…
- Cited by 5 (0 self) – Add To MetaCart
-
Set Theory and Nominalisation, Part I
- … Fairouz Kamareddine Department of Mathematics and Computing Science Eindhoven University of Technology Den…
- Cited by 2 (2 self) – Add To MetaCart
-
Set Theory and Nominalisation, Part II
- … Fairouz Kamareddine Department of Mathematics and Computing Science Eindhoven University of Technology Den…
- Cited by 2 (2 self) – Add To MetaCart
-
Are Types needed for Natural Language?
- …, 79-120, Kluwer 1995 Fairouz Kamareddine Department of Computing Science University of Glasgow…
- Cited by 1 (0 self) – Add To MetaCart
-
A System At the Cross-Roads of Functional and Logic Programming
- …, 239-279, 1992. Fairouz Kamareddine Technical University of Eindhoven Department of Mathematics…
- Cited by 2 (0 self) – Add To MetaCart
-
Reviewing the classical and the de Bruijn notation for λ-calculus and pure type systems
- …Reviewing the classical and the de Bruijn notation for -calculus and pure type systems Fairouz…
- Cited by 2 (0 self) – Add To MetaCart
-
A lambda-calculus à la de Bruijn with explicit substitutions
- … Languages: Implementations, Logics and Programs, PLILP95, LNCS 982, pages 45-62 Fairouz Kamareddine…
- Cited by 65 (22 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
