Tag: inductive definitions

• The semantics of a simple functional language (08 Mar 2023)
  
• Ackermann's function is not primitive recursive, II (07 Sep 2022)