1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Nino Guallart
Pure type systems arise as a generalisation of simply typed lambda calculus. The contemporary development of mathematics has renewed the interest in type theories, as they are not…