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:
2013
2012
20122011
200520052002
199619951991Wrote 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.