• General Topics
    • Programming
    • Unix & Linux
    • System Administration & Network Administration
    • Information Security
    • Cryptography
    • Database Administration
    • Software Engineering
    • Theoretical Computer Science
    • General Computing
  • Tags
  • Recent Tag Groups
  • Recent Articles
  • Random Article

Tag: agda


Found 10 results for 'agda'.

  • Previous
  • 1
  • Next

1) type-theory - Is there a way to define dependent types without explicit substitutions internally within agda?
2) type-theory - Extensional type theory and function extensionality
3) dependent-type - Example use cases for induction-recursion
4) lo.logic - Is there a formalization of normalization of impredicative system F?
5) ct.category-theory - Proof relevance vs. proof irrelevance
6) type-theory - Pi-type over a list in dependent type theory
7) dependent-type - Small kernel (i.e. proof-verifier) for Agda?
8) dependent-type - Formalization of dependent record types/kinds in MLTT or variant thereof?
9) lo.logic - How to use Prop from UTT in Agda
10) type-theory - Can a term on normal form prove an illogical assertion?


  • Previous
  • 1
  • Next


Article content is licensed under a Creative Commons Attribution 4.0 International License.
Site design copyright © 2023 Programmatic.Solutions.