Parametricity of extensionally collapsed term models of polymorphism and their categorical properties (Q5096235): Difference between revisions

Latest revision as of 21:16, 29 July 2024

scientific article; zbMATH DE number 7572015

Language	Label	Description	Also known as
English	Parametricity of extensionally collapsed term models of polymorphism and their categorical properties	scientific article; zbMATH DE number 7572015

Statements

instance of

scholarly article

0 references

title

Parametricity of extensionally collapsed term models of polymorphism and their categorical properties (English)

0 references

author

Ryu Hasegawa

0 references

published in

Lecture Notes in Computer Science

0 references

publication date

16 August 2022

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/3-540-54415-1_61

0 references

cites work

Functorial polymorphism

0 references

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

0 references

Automatic synthesis of typed \(\Lambda\)-programs on term algebras

0 references

Extensional models for polymorphism

0 references

The semantics of second-order lambda calculus

0 references

Domain theoretic models of polymorphism

0 references

Q4068706

0 references

The system \({\mathcal F}\) of variable types, fifteen years later

0 references

Q3994895

0 references

Q3784044

0 references

A note on inconsistencies caused by fixpoints in a cartesian closed category

0 references

0 references

0 references

0 references

0 references

A note on categorical datatypes

0 references

Identifiers

zbMATH Open document ID

1493.68230

0 references

DOI

10.1007/3-540-54415-1_61

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5096235

@@ Property / cites work @@
+Functorial polymorphism
@@ Property / cites work: Functorial polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Automatic synthesis of typed \(\Lambda\)-programs on term algebras
+Normal rank
@@ Property / cites work @@
+Extensional models for polymorphism
@@ Property / cites work: Extensional models for polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of second-order lambda calculus
@@ Property / cites work: The semantics of second-order lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Domain theoretic models of polymorphism
@@ Property / cites work: Domain theoretic models of polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068706
@@ Property / cites work: Q4068706 / rank @@
+Normal rank
@@ Property / cites work @@
+The system \({\mathcal F}\) of variable types, fifteen years later
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3784044
@@ Property / cites work: Q3784044 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on inconsistencies caused by fixpoints in a cartesian closed category
+Normal rank
@@ Property / cites work @@
+Q4693151
@@ Property / cites work: Q4693151 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680264
@@ Property / cites work: Q3680264 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3216629
@@ Property / cites work: Q3216629 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on categorical datatypes
@@ Property / cites work: A note on categorical datatypes / rank @@
+Normal rank