`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: Vries:Fer=Jan_de

### Contributed to:

### 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.
- RTA-2002-SeveriV
- 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.