Fer-Jan De Vries

Available identifiers

zbMath Open de-vries.fer-jan-jMaRDI QIDQ235596

List of research outcomes

Publication	Date of Publication	Type
Infinitary lambda calculi and böhm models	2022-12-09	Paper
Transfinite reductions in orthogonal term rewriting systems	2022-12-09	Paper
Encoding many-valued logic in $\lambda$-calculus	2021-08-05	Paper
Meaningless Sets in Infinitary Combinatory Logic	2020-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q5369483	2017-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q5275352	2017-07-11	Paper
The infinitary lambda calculus of the infinite eta Böhm trees	2017-06-14	Paper
Meaningless terms in rewriting	2017-01-19	Paper
Pure type systems with corecursion on streams	2014-07-21	Paper
Nominal coalgebraic data types with applications to lambda calculus	2014-01-08	Paper
Completeness of Conversion between Reactive Programs for Ultrametric Models	2013-06-28	Paper
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus	2012-09-20	Paper
Weakening the axiom of overlap in infinitary lambda calculus	2012-04-24	Paper
Decomposing the lattice of meaningless sets in the infinitary lambda calculus	2011-05-27	Paper
Processes, Terms and Cycles: Steps on the Road to Infinity	2006-11-13	Paper
Computer Science Logic	2006-11-01	Paper
Typed Lambda Calculi and Applications	2005-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4808745	2004-08-12	Paper
Infinitary lambda calculus and discrimination of Berarducci trees.	2003-05-25	Paper
Intersection types for \(\lambda\)-trees	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q4499287	2001-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q4490748	2000-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4937832	2000-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q4259973	1999-09-09	Paper
Infinitary lambda calculus	1998-07-23	Paper
Comparing curried and uncurried rewriting	1996-08-22	Paper
Transfinite reductions in orthogonal term rewriting systems	1995-08-01	Paper
https://portal.mardi4nfdi.de/entity/Q4834480	1995-05-30	Paper
Reasoning about update logic	1995-02-22	Paper
Dynamic interpretation and Hoare deduction	1994-03-10	Paper
Gödelsche Funktionalinterpretation für Eine Erweiterung der Klassischen Analysis	1988-01-01	Paper

Research outcomes over time

This page was built for person: Fer-Jan De Vries