Tags

A tag is a keyword or label that categorizes your question with other, similar questions. Using the right tags makes it easier for others to find and answer your question.

13 questions
Questions about higher-order logic, that is logic that allows arbitrary quantification, e.g. over sets of functions.
13 questions
computability and complexity in real or complex analysis
13 questions
Church numerals are an encoding of integers in the lambda calculus
12 questions
12 questions
12 questions
11 questions
Meta-programming is the writing of programs with the ability to treat programs as their data.
10 questions
10 questions
Isabelle is an interactive theorem prover, mostly used as Isabelle/HOL which is based on higer-order logic
10 questions
10 questions
10 questions
A doubly-connected edge list (DCEL) is an edge-centered data structure capable of maintaining incidence information of vertices, edges and faces, for example for planar maps.
9 questions
9 questions
1
13 14
15
16 17
19