by Morris, Sidney A., Pearson, Kenneth R., Jones, Arthur
fromUniversitext
From basic algebraic structures to cryptography, arithmetic with elliptic curves, and automata - this textbook contains a modern introduction to discrete algebraic methods as required by mathematicians and computer scientists in the age of the internet. It lays foundations for t…
This monograph details several important advances in the area known as the proofs-as-programs paradigm, a set of approaches to developing programs from proofs in constructive logic. It serves the dual purpose of providing a state-of-the-art overview of the field and detailing to…
"This monograph details several important advances in the area known as the proofs-as-programs paradigm, a set of approaches to developing programs from proofs in constructive logic. It serves the dual purpose of providing a state-of-the-art overview of the field and detailing t…
