Van Raamsdonk, Femke, 19..-....
Raamsdonk, F. van (Femke)
Raamsdonk, F. van
Femke van Raamsdonk
VIAF ID: 287449722 ( Personal )
Permalink: http://viaf.org/viaf/287449722
Preferred Forms
- 100 0 _ ‡a Femke van Raamsdonk
- 100 1 _ ‡a Raamsdonk, F. van
-
- 100 1 _ ‡a Van Raamsdonk, Femke, ‡d 19..-....
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Comparing combinatory reduction systems and higher-order rewrite systems | |
Confluence d'ordre supérieur et encodage d'univers dans le Logical Framework. | |
From proof terms to programs : . an operational and quantitative study of intuistionistic Curry-Howard calculi | |
Higher-Order Confluence and Universe Embedding in the Logical Framework | |
On normalisation | |
Opérateurs de typage non-idempotents, au delà du lambda-calcul | |
Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday | |
Réécriture modulo dans les catégories diagrammatiques | |
A simple proof of confluence for weakly orthogonal combinatory reduction systems | |
Study of the evolutionary dynamics of plant beneficial bacteria. | |
Translating logic programs into conditional rewriting systems | |
Vers une théorie de l'approximation des programmes basée sur la notion de ressources | |
Weak orthogonality implies confluence: the higher-order case |