Showing 1 - 2 results of 2 for search 'Fer-Jan de Vries', query time: 0.02s Refine Results
  1. 1
    Encoding many-valued logic in $\lambda$-calculus

    Encoding many-valued logic in $\lambda$-calculus by Fer-Jan de Vries

    Published 2021-06-01
    Get full text
    Article
  2. 2
    Nominal Coalgebraic Data Types with Applications to Lambda Calculus

    Nominal Coalgebraic Data Types with Applications to Lambda Calculus by Alexander Kurz, Daniela Luan Petrişan, Paula Severi, Fer-Jan de Vries

    Published 2013-12-01
    Get full text
    Article

Search Tools: