ARTICLES

Filter  
Active filters 0
Remove
  

Refine your searches by:

Collections
Computing
Computing
History
Literature
Architecture and Urbanism
Social Sciences
Education
Biology
Research
Languages
all records (66)

Languages
English
Spanish
Portuguese
French
German

Countries
USA
Brazil
Denmark
South Africa
Italy
Spain
Canada
Argentina
Slovenia
Chile
all records (47)

Years
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
all records (24)

Filter  
 
1.251  Articles
1 of 126 pages  |  10  records  |  more records»
A lambda-encoding such as the CPS transformation gives rise to administrative redexes. In his seminal article "Call-by-name, call-by-value and the lambda-calculus", 25 years ago, Plotkin tackled administrative reductions using a so-called colon translatio... see more









1 of 126 pages  |  10  records  |  more records»