Curry–Howard Correspondence for Local Normalization Reductions Logic Young Seminormal Form up to Phases Combinatorics Eigenvalues of the Point Gram Matrix of a Block Design Combinatorics Matroid Independence Polytope Theorem Combinatorics Regular Grammars Produce Nondeterministic Automata Discrete Mathematics Valuations of Plücker Coordinates Define a Valuated Matroid Discrete Mathematics Critical Points Are Measurability Witnesses Set Theory Rado's Theorem for Matroid Transversals Discrete Mathematics Discrete Mathematics Area Combinatorics Subarea