Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Merge two items
In other projects
Item
Discussion
View history
Purge
English
Log in
Help
Pages that link to "Item:Q2938043"
From MaRDI portal
←
Nonfree Datatypes in Isabelle/HOL
(Q2938043)
Jump to:
navigation
,
search
What links here
⧼whatlinkshere-whatlinkshere-target⧽
Page:
⧼whatlinkshere-whatlinkshere-ns⧽
Namespace:
all
(Main)
Talk
User
User talk
Project
Project talk
File
File talk
MediaWiki
MediaWiki talk
Template
Template talk
Help
Help talk
Category
Category talk
Item
Item talk
Property
Property talk
Widget
Widget talk
EntitySchema
EntitySchema talk
Module
Module talk
Private
Formula
Formula talk
Person
Person talk
CodeMeta
CodeMeta talk
Publication
Publication talk
Software
Software talk
Dataset
Dataset talk
Community
Community talk
Workflow
Workflow talk
Algorithm
Algorithm talk
Service
Service talk
Theorem
Theorem talk
Data
UserData
Schema
Schema talk
Datatype
Datatype talk
Invert selection
⧼whatlinkshere-whatlinkshere-filter⧽
Hide transclusions
Hide links
Hide redirects
Go
The following pages link to
Nonfree Datatypes in Isabelle/HOL
(Q2938043)
:
Displaying 3 items.
View (
previous 50
|
next 50
) (
20
|
50
|
100
|
250
|
500
)
A formalized general theory of syntax with bindings
(Q1687739)
(
← links
)
A formalized general theory of syntax with bindings: extended version
(Q1984791)
(
← links
)
Equational Reasoning with Applicative Functors
(Q2829262)
(
← links
)
View (
previous 50
|
next 50
) (
20
|
50
|
100
|
250
|
500
)
Tools
Special pages
Printable version
