Abstract data types (Computer science)

Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / by: (書目-電子資源)

Recent Trends in Algebraic Development Techniques = 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers / by: (書目-電子資源)

Adapting Proofs-as-Programs = The Curry-Howard Protocol / by: (書目-電子資源)

Algebraic methodology and software technology = 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers / by: (書目-電子資源)

Software Engineering.

Software Engineering/Programming and Operating Systems.

Curry-Howard isomorphism.

Symbolic and Algebraic Manipulation.

Computer software- Development

Lambda calculus.

Algebraic logic

Computer science- Mathematics

Proof theory.

Logic Design.

Software engineering

Computer Science.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Models and Principles.

Mathematical Logic and Foundations.

Artificial Intelligence (incl. Robotics)

Functional programming (Computer science)

Logic, Symbolic and mathematical.

Abstract data types (Computer science)