Fer-Jan De Vries

From MaRDI portal
Person:235596

Available identifiers

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

List of research outcomes





PublicationDate of PublicationType
Infinitary lambda calculi and böhm models2022-12-09Paper
Transfinite reductions in orthogonal term rewriting systems2022-12-09Paper
Encoding many-valued logic in $\lambda$-calculus2021-08-05Paper
Meaningless Sets in Infinitary Combinatory Logic2020-05-27Paper
https://portal.mardi4nfdi.de/entity/Q53694832017-10-17Paper
https://portal.mardi4nfdi.de/entity/Q52753522017-07-11Paper
The infinitary lambda calculus of the infinite eta Böhm trees2017-06-14Paper
Meaningless terms in rewriting2017-01-19Paper
Pure type systems with corecursion on streams2014-07-21Paper
Nominal coalgebraic data types with applications to lambda calculus2014-01-08Paper
Completeness of Conversion between Reactive Programs for Ultrametric Models2013-06-28Paper
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus2012-09-20Paper
Weakening the axiom of overlap in infinitary lambda calculus2012-04-24Paper
Decomposing the lattice of meaningless sets in the infinitary lambda calculus2011-05-27Paper
Processes, Terms and Cycles: Steps on the Road to Infinity2006-11-13Paper
Computer Science Logic2006-11-01Paper
Typed Lambda Calculi and Applications2005-11-11Paper
https://portal.mardi4nfdi.de/entity/Q48087452004-08-12Paper
Infinitary lambda calculus and discrimination of Berarducci trees.2003-05-25Paper
Intersection types for \(\lambda\)-trees2002-03-03Paper
https://portal.mardi4nfdi.de/entity/Q44992872001-03-05Paper
https://portal.mardi4nfdi.de/entity/Q44907482000-07-20Paper
https://portal.mardi4nfdi.de/entity/Q49378322000-02-20Paper
https://portal.mardi4nfdi.de/entity/Q42599731999-09-09Paper
Infinitary lambda calculus1998-07-23Paper
Comparing curried and uncurried rewriting1996-08-22Paper
Transfinite reductions in orthogonal term rewriting systems1995-08-01Paper
https://portal.mardi4nfdi.de/entity/Q48344801995-05-30Paper
Reasoning about update logic1995-02-22Paper
Dynamic interpretation and Hoare deduction1994-03-10Paper
Gödelsche Funktionalinterpretation für Eine Erweiterung der Klassischen Analysis1988-01-01Paper

Research outcomes over time

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