Search alternatives:
"lexicographic" » "lexicography"

1
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... Candidates -- Lexicographic Path Induction -- Parametricity for Haskell with Imprecise Error Semantics...