Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
PL Theory
λ PL Theory
programming languages, type theory, semantics, formal methods
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
181
posts in
7.2
ms
Idris
Elba says James Bond audiences wouldn’t accept a Black actor playing spy
🌐
XDP
krdo.com
·
1d
1 day ago
Actions for Idris Elba says James Bond audiences wouldn’t accept a Black actor playing spy
Extraction and Search in Rocq:
Theorems
, Definitions and Their dependencies
📐
Mathematics
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Extraction and Search in Rocq: Theorems, Definitions and Their dependencies
𝜇𝜆ϵ
𝛿-Calculus
: A Self Optimizing
Language
that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
📐
Mathematics
Content type:
Academic
arxiv.org
·
1d
1 day ago
·
Lobsters
Actions for 𝜇𝜆ϵ𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
Discovering Multiscale Deep Formulas in Complex
Systems
via Neural-Guided
Lambda
Calculus
🧮
Constraint Solvers
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Discovering Multiscale Deep Formulas in Complex Systems via Neural-Guided Lambda Calculus
Strict stability of extension
types
📐
Mathematics
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Strict stability of extension types
Idris
Elba says he was never ‘realistic’ James Bond contender because of race
🌐
XDP
Content type:
News
the-independent.com
·
1d
1 day ago
Actions for Idris Elba says he was never ‘realistic’ James Bond contender because of race
« Page 2
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help