Tag: inductive definitions

• Inductive definitions (09 Jun 2025)
  
• The semantics of a simple functional language (08 Mar 2023)
  
• Verifying the binary algorithm for greatest common divisors (22 Feb 2023)
  
• Verifying cryptographic protocols, II: a simple example (02 Nov 2022)
  
• Ackermann's function is not primitive recursive, II (07 Sep 2022)