The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus (Q2368980): Difference between revisions

@@ Property / describes a project that uses @@
+CASL
@@ Property / describes a project that uses: CASL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HasCasl
@@ Property / describes a project that uses: HasCasl / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2005.06.037
+Normal rank
@@ Property / OpenAlex ID @@
+W2145253149
@@ Property / OpenAlex ID: W2145253149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic theories of quasivarieties
@@ Property / cites work: Algebraic theories of quasivarieties / rank @@
+Normal rank
@@ Property / cites work @@
+Q3714051
@@ Property / cites work: Q3714051 / rank @@
+Normal rank
@@ Property / cites work @@
+An equational notion of lifting monad
@@ Property / cites work: An equational notion of lifting monad / rank @@
+Normal rank
@@ Property / cites work @@
+Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
+Normal rank
@@ Property / cites work @@
+Q3767474
@@ Property / cites work: Q3767474 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical concepts for parameterized partial specifications
+Normal rank
@@ Property / cites work @@
+Restriction categories. I: Categories of partial maps
+Normal rank
@@ Property / cites work @@
+Restriction categories II: Partial map classification
+Normal rank
@@ Property / cites work @@
+Q4790386
@@ Property / cites work: Q4790386 / rank @@
+Normal rank
@@ Property / cites work @@
+A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
+Normal rank
@@ Property / cites work @@
+Partiality, cartesian closedness, and toposes
@@ Property / cites work: Partiality, cartesian closedness, and toposes / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatic Domain Theory in Categories of Partial Maps
+Normal rank
@@ Property / cites work @@
+Q4362914
@@ Property / cites work: Q4362914 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4172900
@@ Property / cites work: Q4172900 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of the second order lambda calculus
@@ Property / cites work: Semantics of the second order lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Results on Locally Finitely Presentable Categories
+Normal rank
@@ Property / cites work @@
+Q3764126
@@ Property / cites work: Q3764126 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial morphisms in categories of effective objects
+Normal rank
@@ Property / cites work @@
+CASL reference manual. The complete documentation of the common algebraic specification language.
+Normal rank
@@ Property / cites work @@
+Q3213300
@@ Property / cites work: Q3213300 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024884
@@ Property / cites work: Q3024884 / rank @@
+Normal rank
@@ Property / cites work @@
+Categories of partial maps
@@ Property / cites work: Categories of partial maps / rank @@
+Normal rank
@@ Property / cites work @@
+Q3832739
@@ Property / cites work: Q3832739 / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying categories for partial equational logic
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+HasCasl: Towards Integrated Specification and Development of Functional Programs
+Normal rank
@@ Property / cites work @@
+Q4417837
@@ Property / cites work: Q4417837 / rank @@
+Normal rank
@@ Property / cites work @@
+Monad-independent Dynamic Logic in HasCasl
@@ Property / cites work: Monad-independent Dynamic Logic in HasCasl / rank @@
+Normal rank
@@ Property / cites work @@
+Amalgamation in the semantics of CASL
@@ Property / cites work: Amalgamation in the semantics of CASL / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3208629
@@ Property / cites work: Q3208629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998741
@@ Property / cites work: Q3998741 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2368980