Higher-order families (Q5055875)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7631307

Language	Label	Description	Also known as
English	Higher-order families	scientific article; zbMATH DE number 7631307

Statements

scholarly article

0 references

Higher-order families (English)

0 references

Vincent van Oostrom

0 references

Rewriting Techniques and Applications

0 references

publication date

9 December 2022

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/3-540-61464-8_67

0 references

0 references

0 references

Interaction Systems I: The theory of optimal reductions

0 references

The lambda calculus. Its syntax and semantics. Rev. ed.

0 references

0 references

Higher-order algebra, logic, and term rewriting. Second international workshop, HOA '95, Paderborn, Germany, September 21--22, 1995. Selected papers

0 references

0 references

Higher-order algebra, logic, and term rewriting. 1st International Workshop, HOA '93, Amsterdam, the Netherlands, September 23-24, 1993. Selected papers

0 references

Higher-order narrowing with definitional trees

0 references

0 references

0 references

0 references

0 references

A logic programming language with lambda-abstraction, function variables, and simple unification

0 references

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/3-540-61464-8_67

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5055875

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