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
Transfinite reductions in orthogonal term rewriting systems2022-12-09Paper
Infinitary lambda calculi and böhm models2022-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
https://portal.mardi4nfdi.de/entity/Q53890892012-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


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


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