BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × Serbia
1 × The Netherlands
1 × United Kingdom
2 × Denmark
2 × Germany
2 × Japan
Collaborated with:
P.Severi R.Kennaway J.W.Klop M.R.Sleep V.v.Oostrom
Talks about:
infinitari (4) model (4) böhm (3) meaningless (2) calculus (2) system (2) rewrit (2) term (2) combinatori (1) transfinit (1)

Person: Fer-Jan de Vries

DBLP DBLP: Vries:Fer=Jan_de

Contributed to:

TLCA 20132013
ICFP 20122012
RTA 20122012
RTA 20112011
CSL 20052005
TLCA 20052005
RTA 20022002
ALP 19961996
RTA 19951995
RTA 19911991

Wrote 10 papers:

TLCA-2013-SeveriV #modelling #source code
Completeness of Conversion between Reactive Programs for Ultrametric Models (PS, FJdV), pp. 221–235.
ICFP-2012-SeveriV #finite #normalisation #recursion #type system
Pure type systems with corecursion on streams: from finite to infinitary normalisation (PS, FJdV), pp. 141–152.
RTA-2012-SeveriV #combinator #logic #set
Meaningless Sets in Infinitary Combinatory Logic (PS, FJdV), pp. 288–304.
RTA-2011-SeveriV #axiom #λ-calculus
Weakening the Axiom of Overlap in Infinitary λ Calculus (PS, FJdV), pp. 313–328.
CSL-2005-SeveriV #modelling #order
Order Structures on Böhm-Like Models (PS, FJdV), pp. 103–118.
TLCA-2005-SeveriV #λ-calculus
Continuity and Discontinuity in λ Calculus (PS, FJdV), pp. 369–385.
An Extensional Böhm Model (PS, FJdV), pp. 159–173.
ALP-1996-KennawayOV #term rewriting
Meaningless Terms in Rewriting (RK, VvO, FJdV), pp. 254–268.
RTA-1995-KennawayKSV #modelling #λ-calculus
Infinitary λ Calculi and Böhm Models (RK, JWK, MRS, FJdV), pp. 257–270.
RTA-1991-KennawayKSV #orthogonal #reduction #term rewriting
Transfinite Reductions in Orthogonal Term Rewriting Systems (RK, JWK, MRS, FJdV), pp. 1–12.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.