No label defined (Q4993349)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7359415

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7359415

Statements

scholarly article

0 references

Rohan Jacob-Rao

0 references

Brigitte Pientka

0 references

David Thibodeau

0 references

publication date

15 June 2021

0 references

full work available at URL

https://arxiv.org/abs/1805.00401

0 references

zbMATH Keywords

indexed types

0 references

(co)recursive types

0 references

logical relations

0 references

MaRDI profile type

MaRDI publication profile

0 references

Computer Science Logic

0 references

Combining Deduction Modulo and Logics of Fixed-Point Definitions

0 references

Programming with binders and indexed data-types

0 references

Theorem proving modulo

0 references

Proof normalization modulo

0 references

Reasoning with higher-order abstract syntax in a logical framework

0 references

Types for Proofs and Programs

0 references

Contextual modal type theory

0 references

A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions

0 references

0 references

Intensional interpretations of functionals of finite type I

0 references

Indexed codata types

0 references

Stratification in Logics of Definitions

0 references

Cut elimination for a logic with induction and co-induction

0 references

Guarded recursive datatype constructors

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

10.4230/LIPICS.FSCD.2018.19

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:4993349

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4993349&oldid=39505465"