Kamareddine, Fairouz D.
Kamareddine, Fairouz
Kamareddine, F. (Fairouz D.)
Kamareddine, Fairouz D., 19..-....
VIAF ID: 29858931 (Personal)
Permalink: http://viaf.org/viaf/29858931
Preferred Forms
- 200 _ | ‡a Kamareddine ‡b Fairouz D.
-
- 100 1 _ ‡a Kamareddine, Fairouz
- 100 1 _ ‡a Kamareddine, Fairouz
-
-
-
-
- 100 1 _ ‡a Kamareddine, Fairouz D.
-
- 100 1 _ ‡a Kamareddine, Fairouz D.
- 100 1 _ ‡a Kamareddine, Fairouz D., ‡d 19..-....
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
Are types needed for natural language? | |
The Barendregt Cube with definitions and generalised reduction | |
Beyond β-reduction in Church's l | |
Canonical typing and P-conversion | |
Characterizing l-terms with equal reduction behavior | |
A correspondence between Nuprl and the ramified theory of types | |
Gradual Computerisation/Formalisation of Mathematical Texts into Mizar | |
Intelligent Computer Mathematics : 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings | |
The l-cube with classes of terms modulo conversion | |
Logical and semantic frameworks with applications (LSFA 2008 and 2009) | |
Logical reasoning : a first course | |
A modern perspective on type theory / by Fairouz Kamareddine, Twan Laan and Rob Nederpelt. - Dordrecht [etc.], cop. 2004. | |
A modern perspective on type theory : from its origins until today | |
Nominalization, predication and type containment | |
Non well-foundedness and type freeness can unify the interpretation of functional application | |
On stepwise explicit substitution | |
On π-conversion in type theory | |
Refining reduction in the lambda calculus | |
A reflection on Russell's ramified types and Kripke's hierarchy of truths | |
A semantics for a fine l-calculus with de Bruijn indices | |
Set theory and nominalisation | |
A system at the croos-roads [i.e. cross-roads] of functional and logic programming | |
Thirty-five years of automating mathematics, 2003: | |
A unified approach to type theory through a refined l-calculus | |
A useful lambda notation |