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
Type Theory
λ Type Theory
Specific
dependent types, type systems, type inference, formal types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
191
posts in
7.5
ms
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
✳️
Proof Theory
lix.polytechnique.fr
·
16h
16 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
When
Types
Intersect and Effects Get Handled
λ
Lambda Calculus
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for When Types Intersect and Effects Get Handled
Idris
Elba's Role In This Obscure '90s Sci-Fi Series Is Genuinely Baffling
∘
Category Theory
bgr.com
·
6d
6 days ago
Actions for Idris Elba's Role In This Obscure '90s Sci-Fi Series Is Genuinely Baffling
Kemi Badenoch agrees with
Idris
Elba that Bond should not be ‘woke’
🌀
Homotopy Theory
Content type:
News
the-independent.com
·
1d
1 day ago
Actions for Kemi Badenoch agrees with Idris Elba that Bond should not be ‘woke’
Don’t make James Bond woke, warns
Idris
Elba as Brit star, 53, reveals why he WON’T be the next 007
✳️
Proof Theory
Content type:
News
thesun.co.uk
·
2d
2 days ago
Actions for Don’t make James Bond woke, warns Idris Elba as Brit star, 53, reveals why he WON’T be the next 007
Less-relevant results
How a pig farm dispute exposed fault lines in Malaysia’s multiracial politics
∞
Foundations of Math
Content type:
News
scmp.com
·
5d
5 days ago
Actions for How a pig farm dispute exposed fault lines in Malaysia’s multiracial politics
Idris
Elba: 'Don't try to make James Bond woke'
🔍
Epistemology
Content type:
News
bbc.com
·
2d
2 days ago
Actions for Idris Elba: 'Don't try to make James Bond woke'
Lean Programming Language
✳️
Proof Theory
lean-lang.org
·
15h
15 hours ago
Actions for Lean Programming Language
Proof
System
Timelines
⊢
Logic
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
a topos-oriented language with a content-addressed lattice heap
∘
Category Theory
yon-lang.org
·
6d
6 days ago
·
Hacker News
Actions for a topos-oriented language with a content-addressed lattice heap
Idris
Elba Says Some Audiences Won’t Accept Black James Bond
✳️
Proof Theory
Content type:
News
theonion.com
·
1d
1 day ago
Actions for Idris Elba Says Some Audiences Won’t Accept Black James Bond
Idris
Elba, Newly Knighted, Closes the Book on Bond — and Says Global Markets Would Never Accept a Black 007
🔍
Epistemology
easternherald.com
·
1d
1 day ago
Actions for Idris Elba, Newly Knighted, Closes the Book on Bond — and Says Global Markets Would Never Accept a Black 007
Idris
Elba says Bond audiences “won’t go” for a Black man playing 007
✳️
Proof Theory
nme.com
·
1d
1 day ago
Actions for Idris Elba says Bond audiences “won’t go” for a Black man playing 007
Nigerian army rescues 360 Boko Haram captives in Borno State
λ
Lambda Calculus
Content type:
Video
youtube.com
·
3d
3 days ago
Actions for Nigerian army rescues 360 Boko Haram captives in Borno State
Idris
Elba says James Bond audiences wouldn’t accept a Black actor playing spy
🔍
Epistemology
Content type:
News
ctvnews.ca
·
1d
1 day ago
Actions for Idris Elba says James Bond audiences wouldn’t accept a Black actor playing spy
Idris
Elba Reveals the Bond Rumors Were ‘Never Legit’
🔍
Epistemology
Content type:
News
vulture.com
·
2d
2 days ago
Actions for Idris Elba Reveals the Bond Rumors Were ‘Never Legit’
Issue 527
🔷
Functional Programming
haskellweekly.news
·
6d
6 days ago
Actions for Issue 527
'Some Markets Just Don't Go For That':
Idris
Elba Says James Bond Casting Hope Was Never 'Realistic'
🗣️
Philosophy of Language
Content type:
News
ign.com
·
2d
2 days ago
Actions for 'Some Markets Just Don't Go For That': Idris Elba Says James Bond Casting Hope Was Never 'Realistic'
Idris
Elba says him playing James Bond not ‘realistic,’ some audiences won’t accept ‘Black male’ in role
📐
Formal Semantics
Content type:
News
Content type:
Reference
nbcnews.com
·
2d
2 days ago
Actions for Idris Elba says him playing James Bond not ‘realistic,’ some audiences won’t accept ‘Black male’ in role
Tom Hardy's 'Mobland' Future Uncertain as Two Major Stars Eyed as Season 3 Replacements
🌀
Homotopy Theory
movieweb.com
·
6d
6 days ago
Actions for Tom Hardy's 'Mobland' Future Uncertain as Two Major Stars Eyed as Season 3 Replacements
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