Fer-Jan de Vries

Available identifiers

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

List of research outcomes

Publication	Date of Publication	Type
Transfinite reductions in orthogonal term rewriting systems	2022-12-09	Paper
Infinitary lambda calculi and böhm models	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
https://portal.mardi4nfdi.de/entity/Q5389089	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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