Is there any paper about Plutus?

[kikofernandez]

Hi,

I am really interested in Cardano and Plutus and I would like to know if there is any published or draft paper available that provides the formal semantics of Plutus. (I have read the documentation but I would like to really dig down into the language).

Thanks

[SebastienGllmt]

Probably you're looking for https://github.com/psygnisfive/Plutus-Core-Spec or https://github.com/input-output-hk/plutus-prototype