activity
20132023
most citedThe Frobenius Condition, Right Properness, and Uniform Fibrations

38 citations · 95 across the 13 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2019

Normalization by Evaluation for Call-by-Push-Value and Polarized Lambda-Calculus

Andreas Abel, Christian Sattler

We observe that normalization by evaluation for simply-typed lambda-calculus with weak coproducts can be carried out in a weak bi-cartesian closed category of presheaves equipped w…