Effective operations of type 2 in PCAs. - Eric Faber; Jaap van Oosten (Comput., 2016)

Effective Kan fibrations in simplicial sets. - Benno van den Berg; Eric Faber (CoRR, 2020)