What is an Algorithm? Extensional and Intensional Equivalences between Programs

What is an Algorithm? Extensional and Intensional Equivalences between Programs is a science project.

Event research_grant eu_cordis:655222

Press Enter · cited answer in seconds

Key Facts

Start time: September 1, 2015^[1]
End time: August 31, 2017^[2]
Participant: University of Copenhagen^[3]
Short name: Walgo^[4]
Budget: 200194.8 euro^[5]
Funding scheme: Horizon 2020^[6]

📜 Data licence

© European Union, 1995-2026, CORDIS (cordis.europa.eu). Reused under Commission Decision 2011/833/EU (CC BY 4.0). Changes: selected fields restated as statements. Creative Commons Attribution 4.0 International (Commission Decision 2011/833/EU) · CORDIS — EU research results

⭐ Popularity Graph

0/100 long tail

Quick Facts

Instance of science project

Short name Walgo

Properties

Budget 200,194.8 EUR

End time August 31, 2017

Funding scheme Horizon 2020

Participant University of Copenhagen

Start time September 1, 2015

External References (3)

Cordis project id 655222

Doi 10.3030/655222

Eu rcn 195070

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA

4ort.xyz Knowledge Graph. (2026). What is an Algorithm? Extensional and Intensional Equivalences between Programs. Retrieved October 8, 2026, from https://4ort.xyz/entity/what-is-an-algorithm-extensional-and-intensional-equivalences-between-programs

MLA

“What is an Algorithm? Extensional and Intensional Equivalences between Programs.” 4ort.xyz Knowledge Graph, 4ort.xyz, 8 Oct. 2026, https://4ort.xyz/entity/what-is-an-algorithm-extensional-and-intensional-equivalences-between-programs.

BibTeX

@misc{4ortxyz_what-is-an-algorithm-extensional-and-intensional-equivalences-between-programs_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{What is an Algorithm? Extensional and Intensional Equivalences between Programs}}, year = {2026}, url = {https://4ort.xyz/entity/what-is-an-algorithm-extensional-and-intensional-equivalences-between-programs}, note = {Accessed: 2026-10-08}}

LLM prompt

According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): What is an Algorithm? Extensional and Intensional Equivalences between Programs — https://4ort.xyz/entity/what-is-an-algorithm-extensional-and-intensional-equivalences-between-programs (retrieved 2026-10-08)

Canonical URL: https://4ort.xyz/entity/what-is-an-algorithm-extensional-and-intensional-equivalences-between-programs · Last refreshed: October 8, 2026