Fer-Jan de Vries
University of Leicester
H-index: 17
Europe-United Kingdom
Top articles of Fer-Jan de Vries
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Encoding many-valued logic in -calculus | Logical Methods in Computer Science | Fer-Jan De Vries | 2021/6/29 |